build and deploy mathlib4 docs · leanprover-community/mathlib4_docs@aa305ac

Triggered via schedule January 26, 2025 00:27

main

Status Success

Total duration 15m 19s

Artifacts 1

docs.yaml

on: schedule

Produced during runtime

Name	Size
github-pages Expired	72.3 MB