Skip to content
CI

CI #1485

Sign in to view logs

CI

CI #1485

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.11, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 40s
build (3.11, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 52s
build (3.11, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 2s
build (3.11, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 39s
build (3.11, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
17m 44s
build (3.5, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 40s
build (3.11, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
17m 21s
build (3.5, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 24s
build (3.5, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 27s
build (3.5, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 28s
build (3.5, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 36s
build (3.5, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 25s
build (3.6, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 33s
build (3.6, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 46s
build (3.6, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 45s
build (3.6, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 48s
build (3.6, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 22s
build (3.6, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 32s
build (3.7, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 36s
build (3.7, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 27s
build (3.7, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 7s
build (3.7, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
17m 57s
build (3.7, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 56s
build (3.8, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 15s
build (3.7, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 5s
build (3.8, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 51s
build (3.8, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
22m 7s
build (3.8, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 58s
build (3.8, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
17m 57s
build (3.8, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 35s
check-all
2s
9h 28m 57s