Draft: Resolve "rac prover should be executed on a task before transformation compute"
requested to merge 692-rac-prover-should-be-executed-on-a-task-before-transformation-compute into master
GitLab upgrade completed. Current version is 17.8.1: https://about.gitlab.com/releases/2025/01/16/gitlab-17-8-released/
Git-LFS will be deployed on Monday February 10. Our GitLab instance will be interrupted for a few minutes between 1pm and 2pm.
From this date, the quota check will switch to blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab