Skip to content
Builds, tests & co

Add the OPAMSOLVERTOLERANCE environment variable to allow users to fix solver timeouts for good #4021

Sign in to view logs

Add the OPAMSOLVERTOLERANCE environment variable to allow users to fix solver timeouts for good

Add the OPAMSOLVERTOLERANCE environment variable to allow users to fix solver timeouts for good #4021

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Analyse
4s
Analyse
4s
Cygwin
4s
Cygwin
4s
Test-macOS (4.14.2)
20m 13s
Test-macOS (4.14.2)
20m 13s
Build-macOS (4.14.2)
3m 2s
Build-macOS (4.14.2)
3m 2s
Test-macOS (5.2.0)
22m 14s
Test-macOS (5.2.0)
22m 14s
Build-Linux (4.08.1)
2m 17s
Build-Linux (4.08.1)
2m 17s
Build-macOS (5.2.0)
2m 39s
Build-macOS (5.2.0)
2m 39s
Hygiene
25s
Hygiene
25s
Build-Linux (4.09.1)
2m 11s
Build-Linux (4.09.1)
2m 11s
Build-Linux (4.10.2)
2m 6s
Build-Linux (4.10.2)
2m 6s
Build-Linux (4.11.2)
2m 6s
Build-Linux (4.11.2)
2m 6s
Build-Linux (4.12.1)
2m 9s
Build-Linux (4.12.1)
2m 9s
Build-Linux (4.13.1)
2m 13s
Build-Linux (4.13.1)
2m 13s
Build-Linux (5.0.0)
2m 14s
Build-Linux (5.0.0)
2m 14s
Build-Linux (5.1.1)
2m 5s
Build-Linux (5.1.1)
2m 5s
Build-Linux (4.14.2)
2m 8s
Build-Linux (4.14.2)
2m 8s
Build-Linux (5.2.0)
2m 4s
Build-Linux (5.2.0)
2m 4s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)
33m 33s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)
33m 33s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
41m 14s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
41m 14s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
39m 16s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)
39m 16s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)
6h 0m 6s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)
48m 43s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)
45m 46s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)
45m 46s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.2.0)
39m 51s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.2.0)
39m 51s
Test-Linux (4.14.2)
11m 52s
Test-Linux (4.14.2)
11m 52s
Doc-Linux (4.14.2)
1m 24s
Doc-Linux (4.14.2)
1m 24s
Cold-Linux
4m 55s
Cold-Linux
4m 55s
Doc-Linux (5.2.0)
1m 14s
Doc-Linux (5.2.0)
1m 14s
Solvers-Linux (z3, 4.14.2)
55s
Solvers-Linux (z3, 4.14.2)
55s
Test-Linux (5.2.0)
9m 11s
Test-Linux (5.2.0)
9m 11s
Solvers-Linux (z3, 5.2.0)
1m 4s
Solvers-Linux (z3, 5.2.0)
1m 4s
Upgrade-Linux (4.14.2)
1m 39s
Upgrade-Linux (4.14.2)
1m 39s
Solvers-Linux (0install, 4.14.2)
1m 21s
Solvers-Linux (0install, 4.14.2)
1m 21s
Upgrade-Linux (5.2.0)
1m 22s
Upgrade-Linux (5.2.0)
1m 22s
Solvers-Linux (0install, 5.2.0)
1m 27s
Solvers-Linux (0install, 5.2.0)
1m 27s
Upgrade-macOS (4.14.2)
2m 5s
Upgrade-macOS (4.14.2)
2m 5s
Solvers-macOS (z3, 4.14.2)
16m 14s
Solvers-macOS (z3, 4.14.2)
16m 14s
Upgrade-macOS (5.2.0)
2m 35s
Upgrade-macOS (5.2.0)
2m 35s
Solvers-macOS (z3, 5.2.0)
13m 14s
Solvers-macOS (z3, 5.2.0)
13m 14s
Solvers-macOS (0install, 4.14.2)
1m 19s
Solvers-macOS (0install, 4.14.2)
1m 19s
Solvers-macOS (0install, 5.2.0)
1m 36s
Solvers-macOS (0install, 5.2.0)
1m 36s
18h 15m 31s