Skip to content
CI

Upload standalone to CI #1534

Sign in to view logs

Upload standalone to CI

Upload standalone to CI #1534

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-build (8.10, default)
1s
docker-build (8.11, default)
1s
docker-build (8.12, default)
1s
docker-build (8.13, default)
1s
docker-build (8.14, default)
1s
docker-build (8.15, default)
1s
docker-build (8.16, default)
1s
docker-build (8.17, default)
1s
docker-build (8.18, default)
1s
docker-build (8.4, default)
1s
docker-build (8.5, default)
1s
docker-build (8.7, default)
1s
docker-build (8.6, default)
1s
docker-build (8.8, default)
1s
docker-build (8.9, default)
1s
docker-build (dev, default)
1s
build (3.11, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.11, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.11, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.11, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.11, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.11, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.5, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.5, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.5, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.5, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.5, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.5, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.6, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.6, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.6, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.6, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.6, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.7, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.7, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.6, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.7, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.7, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.7, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.7, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.8, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.8, 8.11.2, coq-8.11.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.8, 8.12.2, coq-8.12.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.8, 8.13.2, coq-8.13.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20.04)
1s
build (3.8, 8.14.1, coq-8.14.1, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
build (3.8, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)
1s
check-all
4s
50s