mirror of
https://github.com/storytold/effectcraft.git
synced 2026-10-14 19:27:05 -04:00
CI: pushes to main no longer cancel the FreeBSD / Windows ARM64 run in progress
Merges land faster than the hour-long FreeBSD job, so every main run was cancelled and main went unverified. Only PR pushes cancel now. Co-Authored-By: Claude Opus 5.5 <[email protected]>
This commit is contained in:
1 parent
f08d090cd8
commit
e3873ae92f
2 files changed
+6
-2
No files matched your search
@@ -15,7 +15,9 @@ on:
|
||||
|
||||
concurrency:
|
||||
group: freebsd-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
# A push to main doesn't cancel the run in progress (the newest waiting run replaces older ones),
|
||||
# so main gets complete runs however often it moves; PR pushes do cancel.
|
||||
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
@@ -21,7 +21,9 @@ on:
|
||||
|
||||
concurrency:
|
||||
group: windows-arm64-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
# A push to main doesn't cancel the run in progress (the newest waiting run replaces older ones),
|
||||
# so main gets complete runs however often it moves; PR pushes do cancel.
|
||||
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
Reference in new issue
Block a user