Skip to content
MetaCoq CI

Adapt to coq PR #18921 fixing bugs of the inference of the return clause for Program-style pattern-matching #2748

Sign in to view logs

Adapt to coq PR #18921 fixing bugs of the inference of the return clause for Program-style pattern-matching

Adapt to coq PR #18921 fixing bugs of the inference of the return clause for Program-style pattern-matching #2748

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checktodos
2s
build (dev, 4.09-flambda, local)
24m 21s
build (dev, 4.09-flambda, opam)
24m 21s
build (dev, 4.14-flambda, local)
24m 22s
build (dev, 4.14-flambda, opam)
24m 8s
1h 37m 14s