Robert Adam 9c46926778 CI(github-actions): Update Ubuntu runners ... We were still using a runner on Ubuntu 18.04, which is getting deprecated by GitHub in the near future. In order to avoid having failing CI jobs due to that and also in order to keep up with changes in Ubuntu, we now build on 20.04 and 22.04 instead.		2022-10-14 20:02:00 +02:00
..
build.sh	CI(github-actions): Display install paths	2022-09-10 17:28:34 +02:00
build.yml	CI(github-actions): Update Ubuntu runners	2022-10-14 20:02:00 +02:00
check_commit_style.py	CI: Fix PR checks for backports	2021-05-20 08:22:27 +02:00
code-ql.yml	CI(codeql): Upgrade CodeQL version v1 -> v2	2022-06-05 16:12:52 +02:00
pr-checks.yml	CI: Use checkout@v3	2022-05-01 17:35:23 +02:00
release_dispatch.yml	CI(github-actions): Fix workflow file syntax	2022-09-14 19:26:04 +02:00
set_environment_variables.sh	CI: Use proper Bash flags	2022-05-01 17:28:11 +02:00
stale_issues.yml	CI(github-actions): Use GA to manage stale issues	2022-09-08 16:01:34 +02:00
winget.yml	CI(github-actions): Use versioned tags for winget-releaser	2022-10-03 05:22:33 +00:00