Skip to content
Test opam package

Fix permissions in publish.yml #861

Sign in to view logs

Fix permissions in publish.yml

Fix permissions in publish.yml #861

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)
40m 51s
install (dev, 4.11.1, macOS, macos-latest)
1m 20s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...
1h 38m 24s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)
41m 43s
install (8.19.0, 4.11.1, macOS, macos-latest)
1h 22m 49s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
26s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)
42m 13s
install (8.18.0, 4.11.1, macOS, macos-latest)
1h 0m 59s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
26s
6h 9m 11s