build and deploy mathlib4 docs #2999
bryangingechendocs.yaml
on: schedule
build and deploy mathlib4 docs
1h 1m
workflow-keepalive
5s
notify_if_failed
5s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
104 MB |
sha256:24611afbf73048011915d336f291c99116f1c36e839a2c5e06a66c35f7423c08
|
|