Skip to content

build and deploy mathlib4 docs #1617

build and deploy mathlib4 docs

build and deploy mathlib4 docs #1617

Triggered via schedule January 2, 2025 08:08
Status Success
Total duration 13m 54s
Artifacts

docs.yaml

on: schedule
build and deploy mathlib4 docs
13m 47s
build and deploy mathlib4 docs
Fit to window
Zoom out
Zoom in