Felix Fontein 26c7995c82 CI: Replace RHEL 8.4 by RHEL 8.5 for devel (#3747) ... * Replace RHEL 8.4 by RHEL 8.5 for devel. * Install virtualenv. * Revert "Install virtualenv." This reverts commit 22ba0d074e. * Just do another skip...		2021-11-17 21:54:33 +01:00
..
targets	CI: Replace RHEL 8.4 by RHEL 8.5 for devel (#3747)	2021-11-17 21:54:33 +01:00