Philip H e741f039cf patch 9.0.1541: CI: sound dummy is disabled ...

Problem:    CI: sound dummy is disabled.
Solution:   Make sound dummy work again. (closes #12380)

2023-05-11 15:22:58 +01:00

..

ci.yml

patch 9.0.1541: CI: sound dummy is disabled

2023-05-11 15:22:58 +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