build and deploy mathlib4 docs #1600
docs.yaml
on: schedule
build and deploy mathlib4 docs
13m 36s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
github-pages
Expired
|
70.6 MB |
|