Skip to content
MetaCoq CI

Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints #2357

Sign in to view logs

Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints

Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints #2357

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checktodos
5s
build (dev, 4.14-flambda, local)
33m 15s
build (dev, 4.14-flambda, quick)
24m 8s
build (dev, 4.14-flambda, opam)
58m 55s
1h 56m 23s