Update docker environment, use shared runners

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.

The shared runners do not accept docker images larger than 10 GB (which is reasonnable). As a result we must stop using the big docker image with the union of all solverstack's dependencies, and prefer using a basic image plus some precise dependencies project by project.

Clean some CI scripts.

approved this merge request

added 1 commit

• 43340350 - Update docker environment and clean ci scripts

Compare with previous version

Analysis Details

0 Issues

• 0 Bugs
• 0 Vulnerabilities
• 0 Code Smells

Coverage and Duplications

• No coverage information (82.80% Estimated after merge)
• No duplication information (26.50% Estimated after merge)

Project ID: solverstack_spm_AZJXx86YsbMNg1jXgzyH

View in SonarQube

added 1 commit

• fa77e6f3 - Update docker environment and clean ci scripts

Compare with previous version

resolved all threads

approved this merge request

mentioned in commit d716ff48

merged