Sarah Hoffmann 69481d1590 remove CentOS from CI ...

The CentOS docker image no longer works after CentOS8 went EOL.
See #2601 for discussion.

2022-02-05 15:14:47 +01:00

..

ci-tests.yml

remove CentOS from CI

2022-02-05 15:14:47 +01:00