diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-08-17 11:49:14 +0100 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-08-17 11:49:14 +0100 |
| commit | 0080b5650e0bf125612e62b591f348076e9ad5d7 (patch) | |
| tree | a5f2e741f068ad8939fe382b0bdf2ed756c037bd | |
| parent | 60d3e4b0cd8716a6fe1be6b4d1b8237da8e56126 (diff) | |
ci: Ensure that only a single workflow processes `github.ref` at a time
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 44ee0b5c59..73a45f4db8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,6 +13,10 @@ on: tags-ignore: - '**' +concurrency: + group: ${{ github.ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + env: DANGER_RUN_CI_ON_HOST: 1 TEST_RUNNER_TIMEOUT_FACTOR: 40 |