Philip H 8a83ffdc43 patch 8.2.4986: some github actions are outdated ...

Problem:    Some github actions are outdated.
Solution:   Update CodeQl to v2, update checkout to v3. (closes #10450)

2022-05-20 17:19:06 +01:00

..

ci.yml

patch 8.2.4986: some github actions are outdated

2022-05-20 17:19:06 +01:00

codeql-analysis.yml

patch 8.2.4986: some github actions are outdated

2022-05-20 17:19:06 +01:00

coverity.yml

patch 8.2.4986: some github actions are outdated

2022-05-20 17:19:06 +01:00