Exceptional GitLab maintenance is scheduled for June 24, 2025. The service will be unavailable between 8:00 am and 9:30 am. Please do not work on the platform until an announcement indicates that maintenance is complete.
f639a5f3ddc5da8e7f080a7080520a00734d1a5c94 commits (benjamin.ninassi@inria.fr)