Skip to content

build and deploy mathlib4 docs #3017

build and deploy mathlib4 docs

build and deploy mathlib4 docs #3017

Triggered via schedule April 14, 2026 16:25
Status Success
Total duration 1h 10m 12s
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
8s
notify_if_failed
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages
105 MB
sha256:11a49fd1ba11b8b434ded85edb07e1cad39f10590ffa64c0b253605f50b1ab0f