Skip to content
Profile Library Typechecking

Rational reals are similar to the projection of their rational (#1305) #206

Sign in to view logs

Rational reals are similar to the projection of their rational (#1305)

Rational reals are similar to the projection of their rational (#1305) #206

Run time

Learn about OS pricing on GitHub Actions
Job Run time
typecheck-performance (ubuntu-latest, 2.7.0)
12m 11s
12m 11s