Skip to content
MetaCoq CI

Make scripts more robust when using simp and solving the goal trivially. #2770

Sign in to view logs

Make scripts more robust when using simp and solving the goal trivially.

Make scripts more robust when using simp and solving the goal trivially. #2770

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checktodos
5s
build (dev, 4.14-flambda, local)
34m 41s
build (dev, 4.09-flambda, local)
35m 26s
build (dev, 4.09-flambda, opam)
35m 0s
build (dev, 4.14-flambda, opam)
34m 54s
2h 20m 6s