Philip H 7268e53996 patch 9.0.1562: mixing package managers is not a good idea ...

Problem:    Mixing package managers is not a good idea.
Solution:   Install gcc 13 with apt-get. (closes #12405)

2023-05-16 20:11:02 +01:00

..

ci.yml

patch 9.0.1562: mixing package managers is not a good idea

2023-05-16 20:11:02 +01:00

codeql-analysis.yml

patch 9.0.0593: CI actions have too many permissions

2022-09-26 15:52:46 +01:00

coverity.yml

patch 9.0.1474: CI runs with old version of Ubuntu and tools

2023-04-21 19:51:22 +01:00