pages build and deployment #1373

Sign in to view logs

Triggered via dynamic January 18, 2025 13:36

leanprover-community-bot

master

Status Success

Total duration 5m 37s

Artifacts –

pages-build-deployment

on: dynamic

report-build-status