Skip to content
CI

Adapt to coq PR #18190 adding a whd form of the cbv reduction strategy #527

Sign in to view logs

Adapt to coq PR #18190 adding a whd form of the cbv reduction strategy

Adapt to coq PR #18190 adding a whd form of the cbv reduction strategy #527

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, 4.09-flambda, local)
1m 39s
build (dev, 4.09-flambda, hott)
4m 8s
build (dev, 4.09-flambda, dune)
4m 6s
9m 53s