Skip to content

Migrate CI from CentOS7 to RedHat8

Thibaut ROMAIN requested to merge ci-redhat8-job into develop

CentOS7 is now deprecated, time to move to RedHat8

Merge request reports