Robert Adam 26d64edcc5 CI: Also fetch build number token on GA ... GitHub Actions previously did not use the build number token. This is changed by this commit. In order to to so, the build process has been outsourced into its own script.		2022-05-01 17:20:19 +02:00
..
build.sh	CI: Also fetch build number token on GA	2022-05-01 17:20:19 +02:00
build.yml	CI: Also fetch build number token on GA	2022-05-01 17:20:19 +02:00
check_commit_style.py	CI: Fix PR checks for backports	2021-05-20 08:22:27 +02:00
code-ql.yml	CHANGE(server): Remove gRPC implementation	2022-03-16 08:23:38 +01:00
pr-checks.yml	CI: Update clang-format action	2022-01-17 08:16:44 +01:00
set_environment_variables.sh	CI: Introduce GitHub Actions	2020-11-29 17:40:15 +01:00