diff --git a/.github/workflows/check-cabal-files.yml b/.github/workflows/check-cabal-files.yml index f6972acbfde..c5afab2cbfe 100644 --- a/.github/workflows/check-cabal-files.yml +++ b/.github/workflows/check-cabal-files.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: check-cabal-files: runs-on: ubuntu-latest diff --git a/.github/workflows/check-git-dependencies.yml b/.github/workflows/check-git-dependencies.yml index 08bec60e571..a14b5e87bb8 100644 --- a/.github/workflows/check-git-dependencies.yml +++ b/.github/workflows/check-git-dependencies.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: build: runs-on: ubuntu-latest diff --git a/.github/workflows/check-hlint.yml b/.github/workflows/check-hlint.yml index 0fe01d6e7f0..f363324ea84 100644 --- a/.github/workflows/check-hlint.yml +++ b/.github/workflows/check-hlint.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: build: runs-on: ubuntu-latest diff --git a/.github/workflows/check-mainnet-config.yml b/.github/workflows/check-mainnet-config.yml index 8b3f181eca5..a7376782f9e 100644 --- a/.github/workflows/check-mainnet-config.yml +++ b/.github/workflows/check-mainnet-config.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: build: runs-on: ubuntu-latest diff --git a/.github/workflows/check-nix-config.yml b/.github/workflows/check-nix-config.yml index 2588f29bc10..498968bf095 100644 --- a/.github/workflows/check-nix-config.yml +++ b/.github/workflows/check-nix-config.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: build: runs-on: ubuntu-latest diff --git a/.github/workflows/haskell-linux.yml b/.github/workflows/haskell-linux.yml index fd6f93fb681..c9c939cb9c9 100644 --- a/.github/workflows/haskell-linux.yml +++ b/.github/workflows/haskell-linux.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: linux_ci: runs-on: ${{ matrix.os }} diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml index 62d02e0f555..6340fad4440 100644 --- a/.github/workflows/haskell.yml +++ b/.github/workflows/haskell.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: build: runs-on: ${{ matrix.os }} diff --git a/.github/workflows/markdown-links-ci-check.yml b/.github/workflows/markdown-links-ci-check.yml index d353ad77a0d..7c47ffc6953 100644 --- a/.github/workflows/markdown-links-ci-check.yml +++ b/.github/workflows/markdown-links-ci-check.yml @@ -4,20 +4,6 @@ on: push: merge_group: -# When pushing branches (and/or updating PRs), we do want to cancel previous -# build runs. We assume they are stale now; and do not want to spend CI time and -# resources on continuing to continue those runs. This is what the concurrency.group -# value lets us express. When using merge queues, we now have to consider -# - runs triggers by commits per pull-request -# we want to cancel any previous run. So they should all get the same group (per PR) -# - runs refs/heads/gh-readonly-queue/ (they should all get their -# unique git ref, we don't want to cancel any of the ones in the queue) -# - if it's neither, we fall back to the run_id (this is a unique number for each -# workflow run; it does not change if you "rerun" a job) -concurrency: - group: ${{ github.workflow }}-${{ github.event.type }}-${{ startsWith(github.ref, 'refs/heads/gh-readonly-queue/') && github.ref || github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - jobs: markdown-link-check: runs-on: ubuntu-latest