Skip to content
Tests

move almost_eventually and eventually_bounded_forall earlier #3990

Sign in to view logs

move almost_eventually and eventually_bounded_forall earlier

move almost_eventually and eventually_bounded_forall earlier #3990

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)
16m 34s
16m 34s