Skip to content
Dev PR

MINOR: Use per-PR concurrency group in Dev PR workflow #4922

Sign in to view logs

MINOR: Use per-PR concurrency group in Dev PR workflow

MINOR: Use per-PR concurrency group in Dev PR workflow #4922

Triggered via pull request October 3, 2026 13:02
@jbonofrejbonofre
review_requested #1320
Status Success
Total duration 16s
Artifacts –

dev_pr.yml

on: pull_request_target
Ensure PR format
11s
Ensure PR format
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
Workflow execution policy warning (evaluate mode): .github/workflows/dev_pr.yml#L1
On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target
Ensure PR format
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"