Deploy

Make changes in preparation for mdbook version 5 (#164) #195

Triggered via push November 28, 2025 13:21

main

Status Success

Total duration 22s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	3.33 MB	`sha256:3fc532f737d8e96e88bc5ea6b3fbef14b2bacf8c17fecab4dd70b96f3316480c`