Pour des raisons de sécurité, une mise à jour des serveurs Gitlab sera effectuée le lundi 26/05/2025 entre 10:00h et 12:00h. Une interruption de service est à prévoir. Merci de votre compréhension.
2b0122b5fa688c391074b570e5be35f9be22b663
20 commits (dominique.marcadet@centralesupelec.fr)