Skip to content
Label closed PR as merged and leave a comment

Label closed PR as merged and leave a comment #12575

Sign in to view logs

Label closed PR as merged and leave a comment

Label closed PR as merged and leave a comment #12575

Triggered via push October 21, 2026 16:35
@chrfalchchrfalch
⁠ 1d69b90
chrfalch/0.88-port-58826
Status Success
Total duration 10s
Artifacts –

close-pr.yml

on: push
comment-and-label
4s
comment-and-label
Fit to window
Zoom out
Zoom in

Annotations

1 notice
comment-and-label
"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"