Skip to content
CI

docs: reframe README as the Riemannian Geometry Challenge #177

Sign in to view logs

docs: reframe README as the Riemannian Geometry Challenge

docs: reframe README as the Riemannian Geometry Challenge #177

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sorry / axiom count
5s
Lake build
1m 43s
Full lint baseline (main push only)
0s
1m 48s