Skip to content

pages build and deployment #1392

Sign in to view logs

pages build and deployment

pages build and deployment #1392

Triggered via dynamic January 30, 2025 18:01
@leanprover-community-botleanprover-community-bot
⁠ 2916566
master
Status Success
Total duration 36s
Artifacts –

pages-build-deployment

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