Skip to content
Test opam package

[CI] Remove dead code (#1903) #878

Sign in to view logs

[CI] Remove dead code (#1903)

[CI] Remove dead code (#1903) #878

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
39m 31s
install (dev, macOS, macos-latest, 4.14.2)
30m 52s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 38m 1s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
42m 59s
install (8.19.0, macOS, macos-latest, 4.14.2)
35m 53s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 37m 2s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
42m 48s
install (8.18.0, macOS, macos-latest, 4.14.2)
32m 13s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 43m 34s
8h 42m 53s