Skip to content
Dev

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

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 #2424

Triggered via pull request October 3, 2026 13:02
@jbonofrejbonofre
opened #1320
jbonofre:dev-pr-concurrency-per-pr
Status Success
Total duration 30s
Artifacts –

dev.yml

on: pull_request
pre-commit
27s
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 notice
pre-commit
"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"