CI: Migrate from CentOS 7 to RedHat 8 images for future CI builds
a first step is to use centos8 images, waiting to have an official rh8 image used in the future HPC6G.
Edited by Thibaut ROMAIN
a first step is to use centos8 images, waiting to have an official rh8 image used in the future HPC6G.