workflows: add concurrency group to check-by-name workflow (again)

This is the second attempt to add a concurrency group to the check-by-name in
hopes that it will reduce unnecessary load on the CI system (wasted electricity)
despite free cost.

first attempt: https://github.com/NixOS/nixpkgs/pull/306072
revert: https://github.com/NixOS/nixpkgs/pull/306430
This commit is contained in:
Will Bush 2024-04-25 01:27:55 -05:00
parent afa610b882
commit 16121d4dc6
No known key found for this signature in database
GPG key ID: 3823864B54B13BDA

View file

@ -20,6 +20,13 @@ permissions:
# We need this permission to cancel the workflow run if there's a merge conflict # We need this permission to cancel the workflow run if there's a merge conflict
actions: write actions: write
# Create a check-by-name concurrency group based on the pull request number. if
# an event triggers a run on the same PR while a previous run is still in
# progress, the previous run will be canceled and the new one will start.
concurrency:
group: check-by-name-${{ github.event.pull_request.number }}
cancel-in-progress: true
jobs: jobs:
check: check:
# This needs to be x86_64-linux, because we depend on the tooling being pre-built in the GitHub releases # This needs to be x86_64-linux, because we depend on the tooling being pre-built in the GitHub releases