[PR] MINOR: Use per-PR concurrency group in Dev PR workflow [arrow-java]

["jbonofre (via GitHub)" <gi...@apache.org>]

jbonofre opened a new pull request, #1320:
URL: https://github.com/apache/arrow-java/pull/1320

   ## What's Changed
   
   The `Dev PR` workflow runs on `pull_request_target`, where `github.ref` is the base branch (`refs/heads/main`), not the PR ref. Its concurrency group therefore resolved to `apache/arrow-java-refs/heads/main-Dev PR` for every PR, and with `cancel-in-progress: true` a new run on one PR cancelled the run in progress on another.
   
   This leaves a cancelled "Ensure PR format" check on the losing PR, which shows up as a failure. For example on #1295 the job was cancelled with:
   
   ```
   Canceling since a higher priority waiting request for apache/arrow-java-refs/heads/main-Dev PR exists
   ```
   
   This change keys the concurrency group on the PR number, so runs are only cancelled by newer runs of the same PR.
   
   Note that `pull_request_target` uses the workflow from the base branch, so this only takes effect once merged.


-- 
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: github-unsubscribe@arrow.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

Re: [PR] MINOR: Use per-PR concurrency group in Dev PR workflow [arrow-java]

["jbonofre (via GitHub)" <gi...@apache.org>]

jbonofre merged PR #1320:
URL: https://github.com/apache/arrow-java/pull/1320


-- 
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: github-unsubscribe@arrow.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org