Skip to content

pages build and deployment #437

Sign in to view logs

pages build and deployment

pages build and deployment #437

Triggered via GitHub Pages January 10, 2026 23:46
@github-pagesgithub-pages[bot]
⁠ 08c06a3
gh-pages
Status Success
Total duration 48s
Artifacts 1

pages-build-deployment

on: dynamic
build
31s
build
report-build-status
5s
report-build-status
deploy
9s
deploy
http://hott.github.io/Coq-HoTT/
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
15.7 MB
sha256:77646a86ba05e82d1c0e0a124b30dbd85b28c148c88873abd71b3b993737b30b