Add a WSL runner to the CI configuration?
@steff mentioned that the kernel seems to run fine on Windows through WSL; that's good news!
It might be a good idea to run the CI tests on WSL as well
[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
@steff mentioned that the kernel seems to run fine on Windows through WSL; that's good news!
It might be a good idea to run the CI tests on WSL as well