Skip to content
Deploy Documentation to GitHub Pages

Fix build name and typos mentioned in PR 4 #47

Sign in to view logs

Fix build name and typos mentioned in PR 4

Fix build name and typos mentioned in PR 4 #47

Triggered via push October 3, 2023 17:05
@LucaSchellerLucaScheller
pushed f067f94
main
Status Success
Total duration 41s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mdbook.yml

on: push
build
10s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in