Update docker environment
Compare changes
A GitLab upgrade is scheduled for Monday, April 7, 2025. Service interruptions are expected 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.
Use new docker images based on Ubuntu 24.04 : base for testing analysis for static and dynamic analysis
Use the gitlab's instance runners dedicated to docker jobs instead of our old custom virtual machines from ci.inria.fr which will be destroyed in a near future.