Skip to content
CI

Add make targets and packaging for standalone exes #1532

Sign in to view logs

Add make targets and packaging for standalone exes

Add make targets and packaging for standalone exes #1532

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-build (8.10, default)
19m 44s
docker-build (8.11, default)
20m 41s
docker-build (8.12, default)
22m 30s
docker-build (8.13, default)
19m 32s
docker-build (8.14, default)
21m 44s
docker-build (8.15, default)
22m 42s
docker-build (8.16, default)
22m 25s
docker-build (8.18, default)
24m 39s
docker-build (8.4, default)
14m 14s
docker-build (8.17, default)
24m 20s
docker-build (8.5, default)
16m 56s
docker-build (8.6, default)
16m 12s
docker-build (8.7, default)
18m 40s
docker-build (8.8, default)
19m 29s
docker-build (8.9, default)
20m 10s
docker-build (dev, default)
25m 17s
build (3.11, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 32s
build (3.11, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 40s
build (3.11, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 37s
build (3.11, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 27s
build (3.11, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 32s
build (3.11, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 9s
build (3.5, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 38s
build (3.5, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 26s
build (3.5, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 54s
build (3.5, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 44s
build (3.5, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 24s
build (3.5, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
22m 39s
build (3.6, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 29s
build (3.6, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 49s
build (3.6, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 50s
build (3.6, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
19m 52s
build (3.6, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 6s
build (3.6, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
18m 39s
build (3.7, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 21s
build (3.7, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 43s
build (3.7, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 6s
build (3.7, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 37s
build (3.7, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
20m 6s
build (3.8, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 0s
build (3.8, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
18m 28s
build (3.8, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
20m 52s
build (3.8, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
17m 49s
build (3.7, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
21m 32s
build (3.8, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 29s
build (3.8, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
19m 16s
check-all
2s
15h 14m 3s