Adapt to https://github.com/coq/coq/pull/19530 #2168

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Adapt to https://github.com/coq/coq/pull/19530 #2168

Usage

Adapt to https://github.com/coq/coq/pull/19530 #2168

Jobs

Run details

Run time