Skip to content
Deploy Documentation to GitHub Pages

Use sentinel value instead of Option.none (#145) #46

Sign in to view logs

Use sentinel value instead of Option.none (#145)

Use sentinel value instead of Option.none (#145) #46

Triggered via push December 6, 2025 11:41
@pandaman64pandaman64
pushed e499c52
main
Status Success
Total duration 16m 46s
Artifacts 1

deploy-docs.yml

on: push
Build Documentation
16m 27s
Build Documentation
Deploy to GitHub Pages
10s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
13.3 MB
sha256:2592dae3003769afe6b74a1bf250b2b62b9779f9f0f80f3d4456a0626b935179