build and deploy mathlib4 docs #3014
bryangingechendocs.yaml
on: schedule
build and deploy mathlib4 docs
1h 0m
workflow-keepalive
4s
notify_if_failed
5s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
105 MB |
sha256:4dd828a2455d8443ab14c4f834d1f5035f6ced3115411482401e413f482ad1b1
|
|