build and deploy mathlib4 docs #2996
bryangingechendocs.yaml
on: schedule
build and deploy mathlib4 docs
59m 36s
workflow-keepalive
4s
notify_if_failed
7s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
104 MB |
sha256:1ac1d7c5f3ee2b7e066ee0d95bdef3cec058dd3b9125bf16a05e57b85c0db504
|
|