Following a new security issue on the Linux kernel, we have temporarily disabled our shared GitLab runners. We will update it and put it back online when a fix is available.
version des scripts utilisés en 2019-2020 avant mise à jour avec travo et l'utilisation renforcée de gitlab
