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.

Revert "Merge branch 'bug16576' into 'master'"

Passed

DOAN Lancelot created pipeline for commit dfb4f17d

4 months ago, finished 4 months ago

1 related merge request: !905 Revert "Merge branch 'bug16576' into 'master'"

1 minute 52 seconds, queued for 0 seconds

Admin message

Revert "Merge branch 'bug16576' into 'master'"