Skip to content
Test opam package

[CI] [Debian] sudo work around broken git config (#1949) #899

Sign in to view logs

[CI] [Debian] sudo work around broken git config (#1949)

[CI] [Debian] sudo work around broken git config (#1949) #899

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
40m 34s
install (dev, macOS, macos-latest, 4.14.2)
32m 2s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 31m 58s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
43m 16s
install (8.19.0, macOS, macos-latest, 4.14.2)
30m 23s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 36m 28s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
45m 28s
install (8.18.0, macOS, macos-latest, 4.14.2)
31m 44s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 40m 55s
8h 32m 48s