Skip to content
Test opam package

Update coq-docker.yml: Bump binaryen vesion (#1842) #825

Sign in to view logs

Update coq-docker.yml: Bump binaryen vesion (#1842)

Update coq-docker.yml: Bump binaryen vesion (#1842) #825

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)
37m 4s
install (dev, 4.11.1, macOS, macos-latest)
47m 24s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...
1h 30m 51s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)
37m 7s
install (8.19.0, 4.11.1, macOS, macos-latest)
45m 54s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 28m 53s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)
37m 39s
install (8.18.0, 4.11.1, macOS, macos-latest)
48m 14s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 33m 15s
8h 46m 21s