update to lean-v4.17.0-rc1 #1887
dwrenshapush-main.yaml
on: push
Build library and deploy dashboard to Github Pages
7m 28s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
github-pages
Expired
|
654 KB |
|