Robert Adam 472a5f2849 CI(github-actions): Ensure build number tagging ... If the actual build is skipped due to a duplicate workflow run, the build number script won't run. This can be problematic if this would have been the only place where the script runs for the given commit as that'll mean that for this commit no build number will be tagged on our central server. Therefore, we now fetch the build number in a separate step that will not be skipped, if the build itself is skipped.		2023-01-14 14:32:13 +01:00
..
backport.yml	MAINT: Give backport action a name	2023-01-04 16:12:25 +01:00
build.sh	CI(github-actions): Ensure build number tagging	2023-01-14 14:32:13 +01:00
build.yml	CI(github-actions): Ensure build number tagging	2023-01-14 14:32:13 +01:00
check_commit_style.py	CI: Fix PR checks for backports	2021-05-20 08:22:27 +02:00
code-ql.yml	CI(github-actions): Update CodeQL workflow	2023-01-10 17:32:42 +01: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