tyler.durden/bottom
1
0
Fork 0
mirror of https://github.com/ClementTsang/bottom.git synced 2025-07-28 16:14:16 +02:00
Code Issues Packages Projects Releases Wiki Activity

ci: fix CI concurrency grouping (#961)

Browse Source 
Seems like we want `github.ref`, not `github.event.ref`, which is
blank.
This commit is contained in:
Clement Tsang 2023-01-05 21:42:41 -05:00 committed by GitHub
parent 9303c1b52f
commit d62bdc5cab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -33,7 +33,7 @@ env:
MANPAGE_DIR: "target/tmp/bottom/manpage/" MANPAGE_DIR: "target/tmp/bottom/manpage/"
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.event.ref }} group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }} cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }}
jobs: jobs:

2
.github/workflows/coverage.yml vendored
View File

@ -14,7 +14,7 @@ env:
CARGO_INCREMENTAL: 0 CARGO_INCREMENTAL: 0
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.event.ref }} group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }} cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }}
jobs: jobs:

2
.github/workflows/test-docs.yml vendored
View File

@ -6,7 +6,7 @@ on:
pull_request: pull_request:
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.event.ref }} group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }} cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'ClementTsang/bottom' }}
jobs: jobs: