Skip to content
Profile Library Typechecking

Correcting an incorrect definition of discrete relations and discrete… #141

Sign in to view logs

Correcting an incorrect definition of discrete relations and discrete…

Correcting an incorrect definition of discrete relations and discrete… #141

Run time

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