Skip to content

pages build and deployment #27

Sign in to view logs

pages build and deployment

pages build and deployment #27

Triggered via dynamic February 2, 2026 05:41
@ptarauptarau
⁠ f107973
master
Status Success
Total duration 37s
Artifacts 1

pages-build-deployment

on: dynamic
build
21s
build
report-build-status
4s
report-build-status
deploy
9s
deploy
https://ptarau.github.io/TypesAndProofs/
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.56 MB
sha256:52a5616993428b04c64d65bff9d56714737b2e88fc622c9acf51bcf39029b876