Skip to content
MetaCoq CI

Backward compatible fixes for update of equations funelim tactic bugfix. #2765

Sign in to view logs

Backward compatible fixes for update of equations funelim tactic bugfix.

Backward compatible fixes for update of equations funelim tactic bugfix. #2765

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checktodos
4s
build (dev, 4.09-flambda, local)
27m 6s
build (dev, 4.09-flambda, opam)
26m 51s
build (dev, 4.14-flambda, opam)
27m 6s
build (dev, 4.14-flambda, local)
27m 6s
1h 48m 13s