Skip to content
Dev

MINOR: Use per-PR concurrency group in Dev PR workflow (#1320) #2427

Sign in to view logs

MINOR: Use per-PR concurrency group in Dev PR workflow (#1320)

MINOR: Use per-PR concurrency group in Dev PR workflow (#1320) #2427

Triggered via push October 4, 2026 04:53
@jbonofrejbonofre
pushed 4aed299
main
Status Success
Total duration 38s
Artifacts –

dev.yml

on: push
pre-commit
32s
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"