guiyanakuang commented on code in PR #1415:
URL: https://github.com/apache/orc/pull/1415#discussion_r1111467040
##########
.github/workflows/build_and_test.yml:
##########
@@ -14,6 +14,11 @@ on:
branches:
- main
+# Cancel previous PR build and test
+concurrency:
+ group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' &&
github.event.number || github.sha }}
Review Comment:
I think it's enough, almost all contributions are currently committed by
pull request.
When it's a pull request event, use the `github.event.number`(issues and PRs
share the same incrementing number ID source for new issues/PRs) grouping.
In other cases use `github.sha` grouping.
Tasks are only treated as concurrent if they are in the same group.
--
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]
