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

Annotations

3 errors and 10 warnings

build (dev, 4.14-flambda, local)

build (dev, 4.14-flambda, local)
cancelled Apr 11, 2024 in 24m 22s