Skip to content
Publish Rustdoc on GitHub Pages

[ci] Fix bug where PR labels are not added (#2782) #655

Sign in to view logs

[ci] Fix bug where PR labels are not added (#2782)

[ci] Fix bug where PR labels are not added (#2782) #655

Triggered via push November 20, 2025 20:56
@github-merge-queuegithub-merge-queue[bot]
pushed 7fb31ad
main
Status Success
Total duration 54s
Artifacts –

docs.yml

on: push
Build
38s
Build
Deploy to GitHub Pages
8s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in