pages build and deployment #824

Sign in to view logs

Triggered via dynamic November 30, 2023 04:07

leanprover-community-bot

master

Status Success

Total duration 44s

Artifacts –

pages-build-deployment

on: dynamic

report-build-status