Skip to content
CI (Coq)

adapt to coq/coq#19872 (Inductive ": Type" means Type) #42

Sign in to view logs

adapt to coq/coq#19872 (Inductive ": Type" means Type)

adapt to coq/coq#19872 (Inductive ": Type" means Type) #42

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (master, coq, ppa:jgross-h/coq-master-daily, ubuntu-latest)
11m 44s
11m 44s