Skip to content
PR to Discord Forum

[Bug]: Cursor option having no effect #7184

Sign in to view logs

[Bug]: Cursor option having no effect

[Bug]: Cursor option having no effect #7184

Triggered via issue September 30, 2026 07:46
@EtienneLescotEtienneLescot
commented on #897 54bfe31
Status Success
Total duration 2m 44s
Artifacts –

discord-pr-notify.yml

on: issue_comment
Sync PR activity to Discord
30s
Sync PR activity to Discord
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Sync PR activity to Discord
"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"