Une mise à jour de GitLab est planifiée le 06/06/2023 entre 08h00 et 09h00.
Spécification et preuves des algos de parcoursup
