Skip to content
.github/workflows/ci.yml

Add Prettify and Lint scripts for each sub-project and top level client #1317

Sign in to view logs

Add Prettify and Lint scripts for each sub-project and top level client

Add Prettify and Lint scripts for each sub-project and top level client #1317

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
0s
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
7m 42s
build-extension (macos-latest)
41s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
6m 40s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
7m 37s
build-extension (ubuntu-latest)
40s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
7m 42s
build-extension (windows-latest)
42s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
45s
install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)
7m 1s
publish-extension
31s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
45s
install-opam (ubuntu-latest, 4.14.x, dev)
6m 41s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
44s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
47s
nix-dev-build (ubuntu-latest, coq-master, dev)
45s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
44s
nix-dev-build (macos-latest, coq-8-18, dev)
1m 29s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
1m 29s
nix-dev-build (macos-latest, coq-8-19, dev)
1m 54s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
1m 28s
nix-dev-build (macos-latest, coq-master, dev)
1m 46s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
1m 27s
create-release
0s
1h 0m 0s