Skip to content
coverage

Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences #420

Sign in to view logs

Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences

Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences #420

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coverage (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
17m 39s
17m 39s