Skip to content
ci

Rewrite Bounded_q bench using Sem #4713

Sign in to view logs

Rewrite Bounded_q bench using Sem

Rewrite Bounded_q bench using Sem #4713

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-on-lower-bound (ubuntu-latest, 4.12.x)
6m 1s
test-on-windows (ocaml.5.2.1,ocaml-option-mingw)
23m 11s
test-on-windows (ocaml.5.3.0,ocaml-option-mingw)
21m 44s
50m 56s