Skip to content
Publish Rustdoc on GitHub Pages

Add more instructions for coding agents (#2834) #699

Sign in to view logs

Add more instructions for coding agents (#2834)

Add more instructions for coding agents (#2834) #699

Triggered via push December 2, 2025 17:41
@github-merge-queuegithub-merge-queue[bot]
pushed 60f4102
main
Status Success
Total duration 2m 1s
Artifacts –

docs.yml

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