ci: cancel previous job runs with concurrency

This commit is contained in:
Boshen 2023-02-25 16:56:18 +08:00
parent c86cca37a8
commit 9098962ec3
No known key found for this signature in database
GPG key ID: 6AC90C77AAAA6ABC
2 changed files with 10 additions and 0 deletions

View file

@ -14,6 +14,11 @@ on:
permissions:
pull-requests: write # For comment
# cancel previous job runs for the same workflow + pr
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
env:
RUST_LOG: info
RUST_BACKTRACE: 1

View file

@ -17,6 +17,11 @@ on:
permissions:
contents: write # For documentation deployment
# cancel previous job runs for the same workflow + pr
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
env:
RUST_LOG: info
RUST_BACKTRACE: 1