Skip to content
coq-library-undecidability CI

Adapt to Coq PR #18591: better refolding of List.app inducing "simpl never" now better respected #685

Sign in to view logs

Adapt to Coq PR #18591: better refolding of List.app inducing "simpl never" now better respected

Adapt to Coq PR #18591: better refolding of List.app inducing "simpl never" now better respected #685

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, 4.14-flambda)
11m 15s
11m 15s