swaits d1288aa623 ci(docs): re-enable GitHub Pages deploy ...

Pages is now enabled on the repo (Settings → Pages → 'Build and
deployment: GitHub Actions'), so the workflow can use the standard
configure-pages → upload-pages-artifact → deploy-pages chain
without needing the GITHUB_TOKEN to enable Pages itself.

PR builds run the build job (catches mdbook breakage) but skip the
deploy job, so PRs don't republish the live site.

2026-05-06 09:04:13 -06:00

..

ci.yml

ci(fuzz): drop --locked on cargo install cargo-fuzz

2026-05-05 13:35:58 -06:00

docs.yml

ci(docs): re-enable GitHub Pages deploy

2026-05-06 09:04:13 -06:00