Skip to content
docs

Don't output trivial congruence invariant (closes #1218) #160

Sign in to view logs

Don't output trivial congruence invariant (closes #1218)

Don't output trivial congruence invariant (closes #1218) #160

Run time

Learn about OS pricing on GitHub Actions
Job Run time
api-build (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
11m 5s
api-deploy
9s
11m 14s