Skip to content
Docker CI

Adapt to coq/coq#18939 (Unification Firstorder Function Conversion off) #222

Sign in to view logs

Adapt to coq/coq#18939 (Unification Firstorder Function Conversion off)

Adapt to coq/coq#18939 (Unification Firstorder Function Conversion off) #222

Run time

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