Hotfix
Fix bunch of silent warnings
Merge request reports
Activity
Please register or sign in to reply
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.
Fix bunch of silent warnings
enabled an automatic merge when the pipeline for 77a80aeb succeeds
merged
mentioned in commit 3b3e6922