Skip to content

build and deploy mathlib4 docs #2998

build and deploy mathlib4 docs

build and deploy mathlib4 docs #2998

Triggered via schedule April 8, 2026 08:24
Status Success
Total duration 1h 3m 54s
Artifacts 1

docs.yaml

on: schedule
build and deploy mathlib4 docs
59m 24s
build and deploy mathlib4 docs
workflow-keepalive
5s
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:3fb30323509904508bcf13ab8dfe61f40dae60db5d31bb9fd8ba372db69a2968