add a gitlab CI/CD file
add ci.inria tags to use shared runners specify image in CI/CD Co-authored-by: Roudy Dagher roudy.dagher@inria.fr
Exceptional GitLab maintenance is scheduled for June 24, 2025. The service will be unavailable between 8:00 am and 9:30 am. Please do not work on the platform until an announcement indicates that maintenance is complete.
add ci.inria tags to use shared runners specify image in CI/CD Co-authored-by: Roudy Dagher roudy.dagher@inria.fr
assigned to @vandaele
merged
mentioned in commit 333ce46f