Skip to content
Docker CI

adapt to coq/coq#19801 (replacing ZArith_base, Zeq_bool) #223

Sign in to view logs

adapt to coq/coq#19801 (replacing ZArith_base, Zeq_bool)

adapt to coq/coq#19801 (replacing ZArith_base, Zeq_bool) #223

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, coqorg/base:4.13.1-flambda)
8m 56s
8m 56s