change ci runner
There is problem with Inria's shared runners that is used for the tests. This PR changes the runner used.
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
La mise à jour de sécurité sans préavis est terminée. Désolé pour cette interruption de service de quelques minutes.
There is problem with Inria's shared runners that is used for the tests. This PR changes the runner used.