Lint to mathlib standards #15
YaelDilliespush.yml
on: push
Lint style
6s
Build project
10m 42s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
28.6 MB |
sha256:37969267f535b7262ece33a2503b56625d233f152f93390999d8182142c48721
|
|