Skip to content
.github/workflows/ci.yml

Adapt to Coq PR #19301: unify the syntax of definition and theorem #1328

Sign in to view logs

Adapt to Coq PR #19301: unify the syntax of definition and theorem

Adapt to Coq PR #19301: unify the syntax of definition and theorem #1328

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
8m 3s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
8m 31s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
3m 25s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
8m 15s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
8m 16s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
3m 28s
build-extension (macos-latest)
48s
install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)
8m 20s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
3m 22s
build-extension (ubuntu-latest)
56s
publish-extension
1m 9s
install-opam (ubuntu-latest, 4.14.x, dev)
6m 22s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
3m 40s
build-extension (windows-latest)
3m 3s
nix-dev-build (ubuntu-latest, coq-master, dev)
4m 31s
install-windows
0s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
4m 27s
nix-dev-build (macos-latest, coq-8-18, dev)
4m 6s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
4m 5s
nix-dev-build (macos-latest, coq-8-19, dev)
4m 40s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
5m 52s
nix-dev-build (macos-latest, coq-master, dev)
6m 11s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
7m 11s
create-release
0s
1h 48m 41s