La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Dans le cadre des maintenances programmées des instances Gitlab Inria, lundi 06 janvier 2025 le service Gitlab externe sera mis à jour. Le service sera indisponible quelques minutes dans la plage horaire 9h-13h. Nous communiquerons sur l'avancement de la MAJ sur le canal Mattermost: https://mattermost.inria.fr/devel/channels/gitlab Nous vous recommandons de pas travailler sur la plateforme avant qu'une annonce sur le serveur ne vous indique la fin de la maintenance.
This is in preparation for https://github.com/coq/coq/pull/7825
It has already been discussed some time ago here: https://github.com/AbsInt/CompCert/pull/325
I'm happy to test compatibility with older Coq versions, but I couldn't find which versions of Coq are officially supported by the Menhir Coq backend.