v5.0.x: CI: remove Ubuntu 18 and RHEL 7#13264

janjust merged 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

janjust:v5.0.x-ci-fixjanjust/ompi:v5.0.x-ci-fixCopy head branch name to clipboard