[ARROW-12989] [CI] "Dev PR" jobs undully cancelled

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 5.0.0
• Component/s: Continuous Integration
• Labels: pull-request-available
• External issue URL: https://github.com/apache/arrow/issues/28706
• Assignee: Antoine Pitrou
• Reporter: Antoine Pitrou
• Created: 07/Jun/21 14:08
• Updated: 11/Jan/23 08:30
• Resolved: 07/Jun/21 16:29

Description

The cancellation scheme that was checked in by ARROW-12895 seems to only work properly when a Github Actions workflow is triggered by a "pull_request" or "push" event, but not "pull_request_target", as the group key

${{ github.repository }}-${{ github.ref }}-${{ github.workflow }}

ends up as

apache/arrow-refs/heads/master-Dev PR

.

Issue Links

• is caused by: ARROW-12895 [CI] Use "concurrency" setting on Github Actions
• links to: GitHub Pull Request #10467