Skip to content
CI (Coq)

Remove checked-in logs that are present in expected form #642

Sign in to view logs

Remove checked-in logs that are present in expected form

Remove checked-in logs that are present in expected form #642

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (8.11.0, coq-8.11.0, ppa:jgross-h/many-coq-versions-ocaml-4-05, 1, gcc)
7s
build (8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, 1, gcc)
9s
build (8.9.1, coq-8.9.1, ppa:jgross-h/many-coq-versions, 1, gcc)
7s
build (8.8.2, coq-8.8.2, ppa:jgross-h/many-coq-versions, gcc)
9s
build (8.7.2, coq-8.7.2, ppa:jgross-h/many-coq-versions, gcc)
9s
build (master, coq, ppa:jgross-h/coq-master-daily, 1, gcc)
9s
build (v8.11, coq, ppa:jgross-h/coq-8.11-daily, 1, gcc)
13s
build (v8.10, coq, ppa:jgross-h/coq-8.10-daily, 1, gcc)
7s
build (v8.9, coq, ppa:jgross-h/coq-8.9-daily, 1, gcc)
8s
build (v8.8, coq, ppa:jgross-h/coq-8.8-daily, gcc)
9s
build (v8.7, coq, ppa:jgross-h/coq-8.7-daily, gcc)
11s
1m 38s