Commit 06b32a3f74c8ed97d07e64a372a3192fee6fb41d

Edward Thomson 2022-04-20T14:45:44

ci: move centos8 to centos stream CentOS 8 is no longer supported; use CentOS stream.