github pages

Update mdbook, and make it easier in the future #11

Sign in to view logs

Triggered via push June 4, 2025 08:08

dae

main

Status Success

Total duration 6m 34s

Artifacts –

gh-pages.yml

on: push