Skip to content

pages build and deployment #1391

Sign in to view logs

pages build and deployment

pages build and deployment #1391

Triggered via dynamic January 30, 2025 04:08
@leanprover-community-botleanprover-community-bot
⁠ 92798cd
master
Status Success
Total duration 41s
Artifacts –

pages-build-deployment

on: dynamic
build
23s
build
report-build-status
4s
report-build-status
deploy
9s
deploy
Fit to window
Zoom out
Zoom in