diff options
| author | Marc Hoersken <info@marc-hoersken.de> | 2022-09-17 23:45:32 +0200 |
|---|---|---|
| committer | Marc Hoersken <info@marc-hoersken.de> | 2022-09-19 21:21:04 +0200 |
| commit | 4e6893307b0f0d8723c8136748ef76040e3a1991 (patch) | |
| tree | c6526805f8f0785eac322eabeb55a2edb8cac529 /.github/workflows/hacktoberfest-accepted.yml | |
| parent | fda897f5a17adda3250e069bfb43b2392bd8c7e8 (diff) | |
| download | curl-4e6893307b0f0d8723c8136748ef76040e3a1991.tar.gz | |
CI/GHA: cancel outdated CI runs on new PR changes
Avoid letting outdated CI runs continue if a PR receives
new changes. Outside a PR we let them continue running
by tying the concurrency to the commit hash instead.
Also only let one CodeQL or Hacktoberfest job run at a time.
Other CI platforms we use have this build in, but GitHub
unfortunately neither by default nor with a simple option.
This saves CI resources and therefore a little energy.
Approved-by: Daniel Stenberg
Approved-by: Max Dymond
Closes #9533
Diffstat (limited to '.github/workflows/hacktoberfest-accepted.yml')
| -rw-r--r-- | .github/workflows/hacktoberfest-accepted.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/hacktoberfest-accepted.yml b/.github/workflows/hacktoberfest-accepted.yml index cb84ed989..59aca1218 100644 --- a/.github/workflows/hacktoberfest-accepted.yml +++ b/.github/workflows/hacktoberfest-accepted.yml @@ -5,11 +5,15 @@ name: Hacktoberfest on: - # run for all pushes to master branch + # this must not ever run on any other branch than master push: branches: - master +concurrency: + # this should not run in parallel, so just run one at a time + group: ${{ github.workflow }} + permissions: # requires issues AND pull-requests write permissions to edit labels on PRs! issues: write |