An error occurred while fetching the assigned milestone of the selected merge_request.
A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.
approved this merge request
marked this merge request as ready
merged
mentioned in commit 248b51b1