Copilot commented on code in PR #3998:
URL: https://github.com/apache/thrift/pull/3998#discussion_r4167933554
##########
.github/workflows/build.yml:
##########
@@ -6,6 +6,12 @@ on:
pull_request:
branches: ["*"]
+# A new push to a pull request supersedes its running build. Pushes to a
+# branch are never cancelled, so every commit on master gets a full run.
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ cancel-in-progress: ${{ github.event_name == 'pull_request' }}
Review Comment:
Push runs still share one concurrency group per branch. `cancel-in-progress:
false` protects the running push, but the default concurrency queue replaces an
older pending run when another push arrives, so rapid pushes can still cancel a
commit before its full matrix runs. Give push runs unique groups while
retaining a stable group for pull requests.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
