Skip to content
Publish Rustdoc on GitHub Pages

[ci] Add hide-from-release-notes label to Dependabot PRs (#2828) #688

Sign in to view logs

[ci] Add hide-from-release-notes label to Dependabot PRs (#2828)

[ci] Add hide-from-release-notes label to Dependabot PRs (#2828) #688

Triggered via push November 25, 2025 20:45
@github-merge-queuegithub-merge-queue[bot]
pushed 1f008b5
main
Status Success
Total duration 1m 24s
Artifacts –

docs.yml

on: push
Build
1m 3s
Build
Deploy to GitHub Pages
14s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in