Skip to content
Builds, tests & co

Fix GHA when opam-rt uses a diverging API #3950

Sign in to view logs

Fix GHA when opam-rt uses a diverging API

Fix GHA when opam-rt uses a diverging API #3950

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Analyse
3s
Analyse
3s
Build-macOS (4.14.2)
2m 44s
Build-macOS (4.14.2)
2m 44s
Build-Linux (4.08.1)
2m 13s
Build-Linux (4.08.1)
2m 13s
Build-macOS (5.2.0)
2m 29s
Build-macOS (5.2.0)
2m 29s
Cygwin
4s
Cygwin
4s
Hygiene
21s
Hygiene
21s
Build-Linux (4.09.1)
1m 56s
Build-Linux (4.09.1)
1m 56s
Build-Linux (4.10.2)
1m 55s
Build-Linux (4.10.2)
1m 55s
Test-macOS (4.14.2)
22m 21s
Test-macOS (4.14.2)
22m 21s
Build-Linux (4.11.2)
1m 56s
Build-Linux (4.11.2)
1m 56s
Test-macOS (5.2.0)
21m 32s
Test-macOS (5.2.0)
21m 32s
Build-Linux (4.12.1)
1m 57s
Build-Linux (4.12.1)
1m 57s
Build-Linux (4.13.1)
1m 58s
Build-Linux (4.13.1)
1m 58s
Build-Linux (5.0.0)
2m 2s
Build-Linux (5.0.0)
2m 2s
Build-Linux (5.1.1)
1m 51s
Build-Linux (5.1.1)
1m 51s
Build-Linux (4.14.2)
1m 49s
Build-Linux (4.14.2)
1m 49s
Build-Linux (5.2.0)
1m 58s
Build-Linux (5.2.0)
1m 58s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)
34m 5s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)
33m 26s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
38m 18s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
38m 18s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
41m 21s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
41m 21s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)
43m 1s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)
43m 1s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)
46m 50s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)
46m 50s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.2.0)
40m 13s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.2.0)
40m 13s
Test-Linux (4.14.2)
13m 22s
Test-Linux (4.14.2)
13m 22s
Cold-Linux
4m 41s
Cold-Linux
4m 41s
Doc-Linux (4.14.2)
52s
Doc-Linux (4.14.2)
52s
Test-Linux (5.2.0)
10m 11s
Test-Linux (5.2.0)
10m 11s
Solvers-Linux (z3, 4.14.2)
50s
Solvers-Linux (z3, 4.14.2)
50s
Doc-Linux (5.2.0)
1m 5s
Doc-Linux (5.2.0)
1m 5s
Solvers-Linux (z3, 5.2.0)
48s
Solvers-Linux (z3, 5.2.0)
48s
Upgrade-Linux (4.14.2)
1m 13s
Upgrade-Linux (4.14.2)
1m 13s
Solvers-Linux (0install, 4.14.2)
1m 18s
Solvers-Linux (0install, 4.14.2)
1m 18s
Upgrade-Linux (5.2.0)
1m 19s
Upgrade-Linux (5.2.0)
1m 19s
Solvers-Linux (0install, 5.2.0)
1m 22s
Solvers-Linux (0install, 5.2.0)
1m 22s
Upgrade-macOS (4.14.2)
2m 33s
Upgrade-macOS (4.14.2)
2m 33s
Solvers-macOS (z3, 4.14.2)
13m 57s
Solvers-macOS (z3, 4.14.2)
13m 57s
Upgrade-macOS (5.2.0)
1m 44s
Upgrade-macOS (5.2.0)
1m 44s
Solvers-macOS (z3, 5.2.0)
14m 10s
Solvers-macOS (z3, 5.2.0)
14m 10s
Solvers-macOS (0install, 4.14.2)
1m 13s
Solvers-macOS (0install, 4.14.2)
1m 13s
Solvers-macOS (0install, 5.2.0)
1m 26s
Solvers-macOS (0install, 5.2.0)
1m 26s
12h 49m 23s