Skip to content
Deploy Docs

Use distinct carets for line number hovers (#22836) #4480

Sign in to view logs

Use distinct carets for line number hovers (#22836)

Use distinct carets for line number hovers (#22836) #4480

Triggered via push January 9, 2025 00:08
@github-merge-queuegithub-merge-queue[bot]
pushed 6f2b882
main
Status Success
Total duration 4m 41s
Artifacts –

deploy_cloudflare.yml

on: push
Deploy Docs
4m 32s
Deploy Docs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Deploy Docs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636