From d7460ceeda01e8276e55e3ed8e4e2960d705fa42 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Mon, 16 Sep 2024 20:12:32 -0400 Subject: [PATCH] Increase solver timeout Trying to fix #354. Recreates #342 (for which the branch has been deleted). If this timeout is long enough, it will address the timeouts on opam 2.0, 2.1, and 2.2, since this env var has been supported at least since 2.0: https://github.com/ocaml/opam/blob/7d4a0f2e0fefe748efbd7358775b1a0bd8267544/src/solver/opamSolverConfig.ml#L131-L132 This can increase the build time of some tests, but I think it should be worth it if it can give proper results: - Only few builds (~3) per PR run on these older opam versions. - We are wasting a lot of cumulative preson time having to check the CI - results for PR that should be green if the CI wasn't giving these (arguably) false negatives. --- lib/opam_build.ml | 2 +- test/specs.expected | 188 ++++++++++++++++++++++---------------------- 2 files changed, 95 insertions(+), 95 deletions(-) diff --git a/lib/opam_build.ml b/lib/opam_build.ml index b0c059ba..cb6b9ed3 100644 --- a/lib/opam_build.ml +++ b/lib/opam_build.ml @@ -125,7 +125,7 @@ let setup_repository ?(local=false) ~variant ~for_docker ~opam_version () = run "uname -rs && opam exec -- ocaml -version && opam --version" :: env "OPAMDOWNLOADJOBS" "1" :: (* Try to avoid github spam detection *) env "OPAMERRLOGLEN" "0" :: (* Show the whole log if it fails *) - env "OPAMSOLVERTIMEOUT" "500" :: (* Increase timeout. Poor mccs is doing its best *) + env "OPAMSOLVERTIMEOUT" "1000" :: (* Increase timeout. Poor mccs is doing its best *) env "OPAMPRECISETRACKING" "1" :: (* Mitigate https://github.com/ocaml/opam/issues/3997 *) env "CI" "true" :: env "OPAM_REPO_CI" "true" :: (* Advertise CI for test frameworks *) [ diff --git a/test/specs.expected b/test/specs.expected index 5eeef3c9..2f6cbf43 100644 --- a/test/specs.expected +++ b/test/specs.expected @@ -7,7 +7,7 @@ build: debian-12-ocaml-4.02/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -41,7 +41,7 @@ build: debian-12-ocaml-4.02/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -94,7 +94,7 @@ build: debian-12-ocaml-4.03/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -128,7 +128,7 @@ build: debian-12-ocaml-4.03/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -181,7 +181,7 @@ build: debian-12-ocaml-4.04/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -215,7 +215,7 @@ build: debian-12-ocaml-4.04/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -268,7 +268,7 @@ build: debian-12-ocaml-4.05/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -302,7 +302,7 @@ build: debian-12-ocaml-4.05/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -355,7 +355,7 @@ build: debian-12-ocaml-4.06/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -389,7 +389,7 @@ build: debian-12-ocaml-4.06/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -442,7 +442,7 @@ build: debian-12-ocaml-4.07/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -476,7 +476,7 @@ build: debian-12-ocaml-4.07/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -529,7 +529,7 @@ build: debian-12-ocaml-4.08/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -563,7 +563,7 @@ build: debian-12-ocaml-4.08/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -616,7 +616,7 @@ build: debian-12-ocaml-4.09/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -650,7 +650,7 @@ build: debian-12-ocaml-4.09/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -703,7 +703,7 @@ build: debian-12-ocaml-4.10/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -737,7 +737,7 @@ build: debian-12-ocaml-4.10/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -790,7 +790,7 @@ build: debian-12-ocaml-4.11/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -824,7 +824,7 @@ build: debian-12-ocaml-4.11/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -877,7 +877,7 @@ build: debian-12-ocaml-4.12/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -911,7 +911,7 @@ build: debian-12-ocaml-4.12/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -964,7 +964,7 @@ build: debian-12-ocaml-4.13/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -998,7 +998,7 @@ build: debian-12-ocaml-4.13/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1051,7 +1051,7 @@ build: debian-12-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1085,7 +1085,7 @@ build: debian-12-ocaml-4.14/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1138,7 +1138,7 @@ list-revdeps: debian-12-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1157,7 +1157,7 @@ build: debian-12-ocaml-4.14/amd64 opam-dev with-tests RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1207,7 +1207,7 @@ build: debian-12-ocaml-5.0/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1241,7 +1241,7 @@ build: debian-12-ocaml-5.0/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1294,7 +1294,7 @@ build: debian-12-ocaml-5.1/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1328,7 +1328,7 @@ build: debian-12-ocaml-5.1/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1381,7 +1381,7 @@ build: debian-12-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1415,7 +1415,7 @@ build: debian-12-ocaml-5.2/amd64 opam-dev lower-bounds RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1468,7 +1468,7 @@ list-revdeps: debian-12-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1487,7 +1487,7 @@ build: debian-12-ocaml-5.2/amd64 opam-dev with-tests RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1537,7 +1537,7 @@ build: ubuntu-24.04-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1571,7 +1571,7 @@ build: ubuntu-22.04-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1605,7 +1605,7 @@ build: ubuntu-20.04-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1639,7 +1639,7 @@ build: opensuse-tumbleweed-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1673,7 +1673,7 @@ build: opensuse-15.6-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1707,7 +1707,7 @@ build: fedora-40-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1741,7 +1741,7 @@ build: fedora-39-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1775,7 +1775,7 @@ build: debian-unstable-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1809,7 +1809,7 @@ build: debian-testing-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1843,7 +1843,7 @@ build: debian-11-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1877,7 +1877,7 @@ build: archlinux-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1911,7 +1911,7 @@ build: alpine-3.20-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1945,7 +1945,7 @@ build: ubuntu-24.04-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -1979,7 +1979,7 @@ build: ubuntu-22.04-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2013,7 +2013,7 @@ build: ubuntu-20.04-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2047,7 +2047,7 @@ build: opensuse-tumbleweed-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2081,7 +2081,7 @@ build: opensuse-15.6-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2115,7 +2115,7 @@ build: fedora-40-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2149,7 +2149,7 @@ build: fedora-39-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2183,7 +2183,7 @@ build: debian-unstable-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2217,7 +2217,7 @@ build: debian-testing-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2251,7 +2251,7 @@ build: debian-11-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2285,7 +2285,7 @@ build: archlinux-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2319,7 +2319,7 @@ build: alpine-3.20-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2352,7 +2352,7 @@ build: macos-homebrew-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2385,7 +2385,7 @@ build: macos-homebrew-ocaml-5.2/arm64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2418,7 +2418,7 @@ build: macos-homebrew-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2451,7 +2451,7 @@ build: macos-homebrew-ocaml-4.14/arm64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2485,7 +2485,7 @@ build: freebsd-ocaml-5.2/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2519,7 +2519,7 @@ build: freebsd-ocaml-4.14/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2553,7 +2553,7 @@ build: debian-12-ocaml-5.2/amd64 opam-2.0 RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2587,7 +2587,7 @@ build: debian-12-ocaml-5.2/amd64 opam-2.1 RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2621,7 +2621,7 @@ build: debian-12-ocaml-5.2/amd64 opam-2.2 RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2655,7 +2655,7 @@ build: debian-12-ocaml-5.2-afl/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2689,7 +2689,7 @@ build: debian-12-ocaml-5.2-flambda/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2723,7 +2723,7 @@ build: debian-12-ocaml-5.2-no-flat-float-array/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2758,7 +2758,7 @@ build: debian-12-ocaml-5.2/i386 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2792,7 +2792,7 @@ build: debian-12-ocaml-5.2/arm64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2826,7 +2826,7 @@ build: debian-12-ocaml-5.2/ppc64le opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2861,7 +2861,7 @@ build: debian-12-ocaml-5.2/arm32v7 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2895,7 +2895,7 @@ build: debian-12-ocaml-5.2/s390x opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2929,7 +2929,7 @@ build: ubuntu-24.04-ocaml-5.2/riscv64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2963,7 +2963,7 @@ build: debian-12-ocaml-4.14/amd64 opam-2.0 RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -2997,7 +2997,7 @@ build: debian-12-ocaml-4.14/amd64 opam-2.1 RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3031,7 +3031,7 @@ build: debian-12-ocaml-4.14/amd64 opam-2.2 RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3065,7 +3065,7 @@ build: debian-12-ocaml-4.14-afl/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3099,7 +3099,7 @@ build: debian-12-ocaml-4.14-flambda/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3133,7 +3133,7 @@ build: debian-12-ocaml-4.14-fp/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3167,7 +3167,7 @@ build: debian-12-ocaml-4.14-flambda-fp/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3201,7 +3201,7 @@ build: debian-12-ocaml-4.14-no-flat-float-array/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3235,7 +3235,7 @@ build: debian-12-ocaml-4.14-nnp/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3269,7 +3269,7 @@ build: debian-12-ocaml-4.14-nnpchecker/amd64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3304,7 +3304,7 @@ build: debian-12-ocaml-4.14/i386 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3338,7 +3338,7 @@ build: debian-12-ocaml-4.14/arm64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3372,7 +3372,7 @@ build: debian-12-ocaml-4.14/ppc64le opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3407,7 +3407,7 @@ build: debian-12-ocaml-4.14/arm32v7 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3441,7 +3441,7 @@ build: debian-12-ocaml-4.14/s390x opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true" @@ -3475,7 +3475,7 @@ build: ubuntu-24.04-ocaml-4.14/riscv64 opam-dev RUN uname -rs && opam exec -- ocaml -version && opam --version ENV OPAMDOWNLOADJOBS="1" ENV OPAMERRLOGLEN="0" - ENV OPAMSOLVERTIMEOUT="500" + ENV OPAMSOLVERTIMEOUT="1000" ENV OPAMPRECISETRACKING="1" ENV CI="true" ENV OPAM_REPO_CI="true"