Skip to content
Deploy mdbook to GitHub Pages

Create mdbook documentation structure with GitHub Pages deployment #2

Sign in to view logs

Create mdbook documentation structure with GitHub Pages deployment

Create mdbook documentation structure with GitHub Pages deployment #2

Re-run triggered September 18, 2025 14:48
@nikomatsakisnikomatsakis
#1
copilot/fix-dcd176a0-fab1-4518-a0c3-496e57a7bde2
Status Success
Total duration 24s
Artifacts –

deploy.yml

on: pull_request
build
6s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in