Skip to content
CI

Set up infrastructure for --no-deps warning #1592

Sign in to view logs

Set up infrastructure for --no-deps warning

Set up infrastructure for --no-deps warning #1592

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-build (8.10, default, installed)
18m 22s
docker-build (8.10, default, installed)
18m 22s
docker-build (8.10, default, local)
18m 12s
docker-build (8.10, default, local)
18m 12s
docker-build (8.10, default, standalone)
18m 54s
docker-build (8.10, default, standalone)
18m 54s
docker-build (8.11, default, installed)
18m 24s
docker-build (8.11, default, installed)
18m 24s
docker-build (8.11, default, local)
21m 50s
docker-build (8.11, default, local)
21m 50s
docker-build (8.11, default, standalone)
21m 44s
docker-build (8.11, default, standalone)
21m 44s
docker-build (8.12, default, installed)
22m 19s
docker-build (8.12, default, installed)
22m 19s
docker-build (8.12, default, local)
21m 13s
docker-build (8.12, default, local)
21m 13s
docker-build (8.12, default, standalone)
21m 17s
docker-build (8.12, default, standalone)
21m 17s
docker-build (8.13, default, installed)
18m 29s
docker-build (8.13, default, installed)
18m 29s
docker-build (8.13, default, local)
18m 7s
docker-build (8.13, default, local)
18m 7s
docker-build (8.13, default, standalone)
18m 59s
docker-build (8.13, default, standalone)
18m 59s
docker-build (8.14, default, installed)
20m 42s
docker-build (8.14, default, installed)
20m 42s
docker-build (8.14, default, local)
25m 49s
docker-build (8.14, default, local)
25m 49s
docker-build (8.14, default, standalone)
21m 2s
docker-build (8.14, default, standalone)
21m 2s
docker-build (8.15, default, installed)
22m 37s
docker-build (8.15, default, installed)
22m 37s
docker-build (8.15, default, local)
25m 7s
docker-build (8.15, default, local)
25m 7s
docker-build (8.15, default, standalone)
22m 42s
docker-build (8.15, default, standalone)
22m 42s
docker-build (8.16, default, installed)
22m 28s
docker-build (8.16, default, installed)
22m 28s
docker-build (8.16, default, local)
22m 58s
docker-build (8.16, default, local)
22m 58s
docker-build (8.16, default, standalone)
22m 46s
docker-build (8.16, default, standalone)
22m 46s
docker-build (8.17, default, installed)
22m 14s
docker-build (8.17, default, installed)
22m 14s
docker-build (8.17, default, local)
24m 29s
docker-build (8.17, default, local)
24m 29s
docker-build (8.17, default, standalone)
22m 30s
docker-build (8.17, default, standalone)
22m 30s
docker-build (8.18, default, installed)
23m 1s
docker-build (8.18, default, installed)
23m 1s
docker-build (8.18, default, local)
24m 32s
docker-build (8.18, default, local)
24m 32s
docker-build (8.18, default, standalone)
22m 38s
docker-build (8.18, default, standalone)
22m 38s
docker-build (8.4, default, installed)
16m 55s
docker-build (8.4, default, installed)
16m 55s
docker-build (8.4, default, local)
15m 20s
docker-build (8.4, default, local)
15m 20s
docker-build (8.4, default, standalone)
15m 1s
docker-build (8.4, default, standalone)
15m 1s
docker-build (8.5, default, installed)
17m 7s
docker-build (8.5, default, installed)
17m 7s
docker-build (8.5, default, local)
16m 55s
docker-build (8.5, default, local)
16m 55s
docker-build (8.5, default, standalone)
16m 53s
docker-build (8.5, default, standalone)
16m 53s
docker-build (8.6, default, installed)
16m 45s
docker-build (8.6, default, installed)
16m 45s
docker-build (8.6, default, local)
17m 49s
docker-build (8.6, default, local)
17m 49s
docker-build (8.6, default, standalone)
19m 13s
docker-build (8.6, default, standalone)
19m 13s
docker-build (8.7, default, installed)
19m 45s
docker-build (8.7, default, installed)
19m 45s
docker-build (8.7, default, local)
17m 27s
docker-build (8.7, default, local)
17m 27s
docker-build (8.7, default, standalone)
19m 34s
docker-build (8.7, default, standalone)
19m 34s
docker-build (8.8, default, installed)
19m 31s
docker-build (8.8, default, installed)
19m 31s
docker-build (8.8, default, local)
17m 51s
docker-build (8.8, default, local)
17m 51s
docker-build (8.8, default, standalone)
19m 57s
docker-build (8.8, default, standalone)
19m 57s
docker-build (8.9, default, installed)
18m 8s
docker-build (8.9, default, installed)
18m 8s
docker-build (8.9, default, local)
18m 33s
docker-build (8.9, default, local)
18m 33s
docker-build (8.9, default, standalone)
18m 55s
docker-build (8.9, default, standalone)
18m 55s
docker-build (dev, default, installed)
23m 27s
docker-build (dev, default, installed)
23m 27s
docker-build (dev, default, local)
23m 41s
docker-build (dev, default, local)
23m 41s
docker-build (dev, default, standalone)
25m 16s
docker-build (dev, default, standalone)
25m 16s
build (3.11, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 3s
build (3.11, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 3s
build (3.11, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 54s
build (3.11, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 54s
build (3.11, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 45s
build (3.11, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 45s
build (3.11, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 36s
build (3.11, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 36s
build (3.11, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 9s
build (3.11, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 9s
build (3.11, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 35s
build (3.11, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 35s
build (3.11, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 40s
build (3.11, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 40s
build (3.11, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 56s
build (3.11, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 56s
build (3.11, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 13s
build (3.11, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 13s
build (3.11, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 47s
build (3.11, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 47s
build (3.11, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1m 20s
build (3.11, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 4s
build (3.11, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 35s
build (3.11, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 35s
build (3.11, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
19m 52s
build (3.11, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
19m 52s
build (3.11, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
19m 16s
build (3.11, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
19m 16s
build (3.11, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
22m 0s
build (3.11, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
22m 0s
build (3.11, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
18m 37s
build (3.11, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...
18m 37s
build (3.11, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20...
20m 11s
build (3.11, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20...
20m 11s
build (3.11, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20...
18m 52s
build (3.11, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20...
18m 52s
build (3.5, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 23s
build (3.5, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 23s
build (3.5, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 54s
build (3.5, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 54s
build (3.5, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 53s
build (3.5, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 53s
build (3.5, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 32s
build (3.5, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 32s
build (3.5, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 3s
build (3.5, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 3s
build (3.5, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 54s
build (3.5, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 54s
build (3.5, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 19s
build (3.5, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 19s
build (3.5, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 27s
build (3.5, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 27s
build (3.5, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 30s
build (3.5, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 30s
build (3.5, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 7s
build (3.5, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 7s
build (3.5, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 38s
build (3.5, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 38s
build (3.5, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 11s
build (3.5, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 11s
build (3.5, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 11s
build (3.5, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 11s
build (3.5, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 47s
build (3.5, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 47s
build (3.5, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 43s
build (3.5, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 43s
build (3.5, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 28s
build (3.5, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 28s
build (3.5, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 7s
build (3.5, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 7s
build (3.5, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 32s
build (3.5, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 32s
build (3.6, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 29s
build (3.6, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 29s
build (3.6, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 5s
build (3.6, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 5s
build (3.6, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 52s
build (3.6, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 52s
build (3.6, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 54s
build (3.6, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 54s
build (3.6, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
17m 42s
build (3.6, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
17m 42s
build (3.6, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 12s
build (3.6, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 12s
build (3.6, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 37s
build (3.6, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 37s
build (3.6, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 49s
build (3.6, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 49s
build (3.6, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 27s
build (3.6, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 27s
build (3.6, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 34s
build (3.6, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 34s
build (3.6, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 53s
build (3.6, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 53s
build (3.6, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 3s
build (3.6, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 3s
build (3.6, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 59s
build (3.6, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 59s
build (3.6, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 34s
build (3.6, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 34s
build (3.6, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 19s
build (3.6, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 19s
build (3.6, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 21s
build (3.6, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 21s
build (3.6, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 9s
build (3.6, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 9s
build (3.6, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 33s
build (3.6, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 33s
build (3.7, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 49s
build (3.7, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 49s
build (3.7, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 41s
build (3.7, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 41s
build (3.7, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 0s
build (3.7, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 0s
build (3.7, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 54s
build (3.7, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 54s
build (3.7, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 49s
build (3.7, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 49s
build (3.7, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 5s
build (3.7, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 5s
build (3.7, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 38s
build (3.7, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 38s
build (3.7, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 2s
build (3.7, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 2s
build (3.7, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 31s
build (3.7, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 31s
build (3.7, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 17s
build (3.7, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 17s
build (3.7, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 17s
build (3.7, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 17s
build (3.7, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 5s
build (3.7, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 5s
build (3.7, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 44s
build (3.7, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 44s
build (3.7, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 54s
build (3.7, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 54s
build (3.7, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 31s
build (3.7, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 31s
build (3.7, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 35s
build (3.7, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 35s
build (3.7, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 11s
build (3.7, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 11s
build (3.7, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 53s
build (3.7, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 53s
build (3.8, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 3s
build (3.8, installed, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 3s
build (3.8, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 20s
build (3.8, installed, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 20s
build (3.8, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 1s
build (3.8, installed, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 1s
build (3.8, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 7s
build (3.8, installed, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 7s
build (3.8, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 26s
build (3.8, installed, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 26s
build (3.8, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 6s
build (3.8, installed, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 6s
build (3.8, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 6s
build (3.8, local, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 6s
build (3.8, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 53s
build (3.8, local, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 53s
build (3.8, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 46s
build (3.8, local, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 46s
build (3.8, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 2s
build (3.8, local, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 2s
build (3.8, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 32s
build (3.8, local, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 32s
build (3.8, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 4s
build (3.8, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 4s
build (3.8, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 7s
build (3.8, standalone, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 7s
build (3.8, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 4s
build (3.8, standalone, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 4s
build (3.8, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 39s
build (3.8, standalone, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 39s
build (3.8, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 31s
build (3.8, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 31s
build (3.8, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 4s
build (3.8, standalone, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 4s
build (3.8, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 15s
build (3.8, standalone, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 15s
check-all
1s
check-all
2s
3d 18h 46m 51s