Skip to content
CI

refactor(poincare): merge statement+proof into main-net.json; rename … #203

Sign in to view logs

refactor(poincare): merge statement+proof into main-net.json; rename …

refactor(poincare): merge statement+proof into main-net.json; rename … #203

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sorry / axiom count
5s
Lake build
1m 25s
Full lint baseline (main push only)
2m 11s
3m 41s