diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-01-05 21:42:41 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-05 21:42:41 -0500 |
commit | d62bdc5cab346f43c54df6d0ae8b2c277d851b36 (patch) | |
tree | 10a2c1beb3be7a9d93e91779a2e0a41720603773 | |
parent | 9303c1b52fd721233f2dbe15794b2117a54d520d (diff) |
ci: fix CI concurrency grouping (#961)
Seems like we want `github.ref`, not `github.event.ref`, which is
blank.
-rw-r--r-- | .github/workflows/ci.yml | 2 | ||||
-rw-r--r-- | .github/workflows/coverage.yml | 2 | ||||
-rw-r--r-- | .github/workflows/test-docs.yml | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1912d380..84a87dbf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -33,7 +33,7 @@ env: MANPAGE_DIR: "target/tmp/bottom/manpage/" concurrency: - group: ${{ github.workflow }}-${{ github.event.ref }} + group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }} jobs: diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 0613145b..fef57635 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -14,7 +14,7 @@ env: CARGO_INCREMENTAL: 0 concurrency: - group: ${{ github.workflow }}-${{ github.event.ref }} + group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }} jobs: diff --git a/.github/workflows/test-docs.yml b/.github/workflows/test-docs.yml index 8364e493..219d3cb2 100644 --- a/.github/workflows/test-docs.yml +++ b/.github/workflows/test-docs.yml @@ -6,7 +6,7 @@ on: pull_request: concurrency: - group: ${{ github.workflow }}-${{ github.event.ref }} + group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }} jobs: |