Philip H d2edee5cf3 patch 8.2.4764: CI uses an older gcc version ...

Problem:    CI uses an older gcc version.
Solution:   Use GCC 11. (closes #10185)

2022-04-16 20:04:30 +01:00

..

ci.yml

patch 8.2.4764: CI uses an older gcc version

2022-04-16 20:04:30 +01:00

codeql-analysis.yml

patch 8.2.3891: github CI: workflows may overlap

2021-12-25 11:20:30 +00:00

coverity.yml

patch 8.2.3319: Coverity action on github does not work

2021-08-09 13:20:38 +02:00