Skip to content

build and deploy mathlib4 docs #3005

build and deploy mathlib4 docs

build and deploy mathlib4 docs #3005

Triggered via schedule April 10, 2026 16:17
Status Success
Total duration 1h 1m 43s
Artifacts 1

docs.yaml

on: schedule
build and deploy mathlib4 docs
58m 52s
build and deploy mathlib4 docs
workflow-keepalive
3s
workflow-keepalive
notify_if_failed
7s
notify_if_failed
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
104 MB
sha256:4d77db7b87956bb2556e4e8dbffc1a9df1eccb3576321739ded45b19d7f9e088