Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.
cd3fbd38c2ee7f391697bfd9ebbb4a860db212636 commits (hwilliam@inria.fr)