Philip H b213703f35 patch 9.0.0264: CI still runs on Ubuntu 18.04 ...

Problem:    CI still runs on Ubuntu 18.04.
Solution:   Run CI on Ubuntu 20.04. (closes #10582)

2022-08-25 15:21:24 +01:00

..

ci.yml

patch 9.0.0264: CI still runs on Ubuntu 18.04

2022-08-25 15:21:24 +01:00

codeql-analysis.yml

patch 8.2.5052: CI checkout step title is a bit cryptic

2022-06-01 21:26:34 +01:00

coverity.yml

patch 8.2.5052: CI checkout step title is a bit cryptic

2022-06-01 21:26:34 +01:00