Skip to content

build and deploy mathlib4 docs #3007

build and deploy mathlib4 docs

build and deploy mathlib4 docs #3007

Triggered via schedule April 11, 2026 08:12
Status Success
Total duration 1h 0m 42s
Artifacts 1

docs.yaml

on: schedule
build and deploy mathlib4 docs
1h 0m
build and deploy mathlib4 docs
workflow-keepalive
5s
workflow-keepalive
notify_if_failed
4s
notify_if_failed
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
104 MB
sha256:4326d5450d01f8f09522ed1bb534bb5e112114829cf0ee8aabb35cf403454fa8