Skip to content
Deploy Docs to GitHub Pages

fix build failure due to wrong case in file reference #75

Sign in to view logs

fix build failure due to wrong case in file reference

fix build failure due to wrong case in file reference #75

Triggered via push January 27, 2026 21:08
@PhilippSalvisbergPhilippSalvisberg
pushed f18763d
main
Status Success
Total duration 50s
Artifacts 1

deploy-docs.yml

on: push
build
33s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
4.52 MB
sha256:7b4322714d6c5a372ed173e53b6fb0443204390bc635d8acbbe7eacf2b259d62