arduino/library-registry
1
0
Fork 0
mirror of https://github.com/arduino/library-registry.git synced 2025-11-24 15:01:09 +03:00
Code Activity

Merge pull request #770 from per1234/fix-concurrency

Browse Source 
Avoid manager workflow run cancelation by incidental events
This commit is contained in:
per1234
2021-12-09 02:42:44 -08:00
committed by GitHub
parent 5445e40234 abec5ec873
commit d7dd0c5352
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
.github/workflows/manage-prs.yml vendored
View File

@@ -26,7 +26,19 @@ on:
concurrency: concurrency:
group: ${{ github.event.pull_request.number }}${{ github.event.issue.number }} group: ${{ github.event.pull_request.number }}${{ github.event.issue.number }}
cancel-in-progress: true cancel-in-progress: >-
${{
(
github.event_name == 'pull_request_target' &&
github.event.pull_request.draft == false
) ||
(
github.event_name == 'issue_comment' &&
github.event.issue.pull_request != '' &&
github.event.issue.state == 'open' &&
contains(github.event.comment.body, 'ArduinoBot')
)
}}
jobs: jobs:
diff: diff: