Skip to content
Nix CI for bundle coq-dev

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

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 #57

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
9m 11s
equations
1m 13s
metacoq
44m 23s
54m 47s