Skip to content
Test opam package

[CI] [opam] Use opam depext #686

Sign in to view logs

[CI] [opam] Use opam depext

[CI] [opam] Use opam depext #686

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, ubuntu-latest)
1h 6m 27s
install (dev, 4.11.1, macos-latest)
1h 13m 46s
install (dev, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
3h 31m 40s
install (8.18.0, 4.11.1, ubuntu-latest)
1h 0m 36s
install (8.18.0, 4.11.1, macos-latest)
1h 6m 53s
install (8.18.0, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
2m 45s
install (8.17.0, 4.11.1, ubuntu-latest)
41m 0s
install (8.17.0, 4.11.1, macos-latest)
47m 16s
install (8.17.0, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
4m 27s
9h 34m 50s