Skip to content
Test opam package

Bump etc/coq-scripts from 857071d to e4d9e81 (#1896) #870

Sign in to view logs

Bump etc/coq-scripts from 857071d to e4d9e81 (#1896)

Bump etc/coq-scripts from 857071d to e4d9e81 (#1896) #870

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
41m 6s
install (dev, macOS, macos-latest, 4.14.2)
38m 41s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 39m 55s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
40m 47s
install (8.19.0, macOS, macos-latest, 4.14.2)
31m 33s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 37m 10s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
42m 19s
install (8.18.0, macOS, macos-latest, 4.14.2)
35m 20s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 42m 53s
8h 49m 44s