OCamllabs icon Home|Differences with the last checks|Previous runs


Building on ltsc2025-1

(from ocaml/opam:windows-server-mingw-ltsc2025-opam)
2026-03-06 18:45.53 ---> using "63e5ddb9687855d0a0c4c5e0088f813758807605401f3a88b07751088826ddff" from cache

C:/: (user (uid 1000) (gid 1000))

C:/: (env OPAMPRECISETRACKING 1)

C:/: (env OPAMUTF8 never)

C:/: (env OPAMEXTERNALSOLVER builtin-0install)

C:/: (env OPAMCRITERIA +removed)

C:/: (env CI true)

C:/: (env OPAM_HEALTH_CHECK_CI true)

C:/: (run (shell "ln -f /usr/local/bin/opam-dev.exe /usr/local/bin/opam.exe"))
2026-03-06 18:45.53 ---> using "eb751f1617949fccf400da87a349c508e73323f3f0e3482f2cce8c46fbcb6c21" from cache

C:/: (run (network host)
          (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 31db989bcaf14647d9889b8903120d6202ac37a8"))
2026-03-06 18:45.53 ---> using "ef58fca6f6db70f2bdfd85579892df7c50e047d2e179a3be59dcaa5c5a2d773c" from cache

C:/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))

User configuration:
  Updating ~\.bashrc.
[NOTE] Make sure that ~/.bashrc is well sourced in your ~\.bash_profile.

  Added 9 lines after line 1 in ~\.bashrc.
2026-03-06 18:45.53 ---> using "c700dfaf6f2da6800841bb961abfee8cd8858dee38ab51c0793b149f1795270d" from cache

C:/: (run (cache (opam-archives (target "c:\\opam\\.opam\\download-cache")))
          (network host)
          (shell "opam switch create --repositories=default 'mingw-5.4' '5.4.0'"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.4.0"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed arch-x86_64.1
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-mingw.1
-> retrieved mingw-w64-shims.0.2.0  (cached)
-> installed conf-mingw-w64-gcc-x86_64.1
-> retrieved flexdll.0.44  (https://github.com/ocaml/flexdll/archive/refs/tags/0.44.tar.gz)
-> installed flexdll.0.44
-> installed ocaml-env-mingw64.1
-> installed ocaml-options-vanilla.1
-> installed system-mingw.1
-> installed mingw-w64-shims.0.2.0
-> retrieved ocaml-config.3  (2 extra sources)
-> retrieved ocaml-config.3  (2 extra sources)
-> retrieved ocaml-compiler.5.4.0  (https://github.com/ocaml/ocaml/releases/download/5.4.0/ocaml-5.4.0.tar.gz)
-> installed ocaml-compiler.5.4.0
-> installed ocaml-base-compiler.5.4.0
-> installed ocaml-config.3
-> installed ocaml.5.4.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=mingw-5.4)
2026-03-06 18:45.53 ---> using "bde3e22405d3d4b8eb936b6a5924016abe757c72ef4284f806d0ffa633cf6608" from cache

C:/: (run (network host)
          (shell "opam update --depexts"))
2026-03-06 18:45.53 ---> using "52107e23401ba5a409505a63e9d96ae2fb84390238c362f7049829fa18c5671f" from cache

C:/: (run (cache (opam-archives (target "c:\\opam\\.opam\\download-cache")))
          (network host)
          (shell  "opam remove -y alt-ergo-parsers.2.6.2\
                 \nopam install -vy alt-ergo-parsers.2.6.2\
                 \nres=$?\
                 \nif [ $res = 31 ]; then\
                 \n    if opam show -f x-ci-accept-failures: alt-ergo-parsers.2.6.2 | grep -q 'ocaml/opam:windows-server-mingw-ltsc2025-opam'; then\
                 \n        echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
                 \n        exit 69\
                 \n    fi\
                 \nfi \
                 \n\
                 \n\
                 \nexit $res"))
[NOTE] alt-ergo-parsers.2.6.2 is not installed.

Nothing to do.
The following actions will be performed:
=== recompile 1 package
  - recompile mingw-w64-shims            0.2.0    [uses conf-mingw-w64-gcc-i686]
=== install 42 packages
  - install   alt-ergo-lib               2.6.2    [required by alt-ergo-parsers]
  - install   alt-ergo-parsers           2.6.2
  - install   camlzip                    1.14     [required by alt-ergo-lib]
  - install   conf-gmp                   5        [required by zarith]
  - install   conf-mingw-w64-gcc-i686    1        [required by conf-mingw-w64-zlib-i686, conf-mingw-w64-gmp-i686]
  - install   conf-mingw-w64-gmp-i686    1        [required by conf-gmp]
  - install   conf-mingw-w64-gmp-x86_64  1        [required by conf-gmp]
  - install   conf-mingw-w64-zlib-i686   1        [required by conf-zlib]
  - install   conf-mingw-w64-zlib-x86_64 1        [required by conf-zlib]
  - install   conf-pkg-config            4        [required by zarith]
  - install   conf-zlib                  1        [required by camlzip]
  - install   cppo                       1.8.0    [required by ppx_deriving]
  - install   dolmen                     0.10     [required by alt-ergo-lib]
  - install   dolmen_loop                0.10     [required by alt-ergo-lib]
  - install   dolmen_type                0.10     [required by alt-ergo-lib]
  - install   dune                       3.21.1   [required by alt-ergo-parsers]
  - install   dune-build-info            3.21.1   [required by alt-ergo-lib]
  - install   fmt                        0.11.0   [required by alt-ergo-lib]
  - install   gen                        1.1      [required by dolmen_loop]
  - install   hmap                       0.8.1    [required by dolmen]
  - install   logs                       0.10.0   [required by ocplib-simplex]
  - install   menhir                     20250912 [required by alt-ergo-parsers]
  - install   menhirCST                  20250912 [required by menhir]
  - install   menhirLib                  20250912 [required by menhir]
  - install   menhirSdk                  20250912 [required by menhir]
  - install   ocaml-compiler-libs        v0.17.0  [required by ppxlib]
  - install   ocamlbuild                 0.16.1   [required by hmap, fmt, logs]
  - install   ocamlfind                  1.9.8    [required by ppx_deriving, camlzip, ocplib-simplex, zarith]
  - install   ocplib-simplex             0.5.1    [required by alt-ergo-lib]
  - install   pp_loc                     2.1.0    [required by dolmen_loop]
  - install   ppx_blob                   0.9.0    [required by alt-ergo-lib]
  - install   ppx_derivers               1.2.1    [required by ppx_deriving]
  - install   ppx_deriving               6.1.1    [required by alt-ergo-lib]
  - install   ppxlib                     0.37.0   [required by ppx_blob, ppx_deriving]
  - install   psmt2-frontend             0.4.0    [required by alt-ergo-parsers]
  - install   seq                        base     [required by alt-ergo-lib]
  - install   sexplib0                   v0.17.0  [required by ppxlib]
  - install   spelll                     0.4      [required by dolmen_type]
  - install   stdlib-shims               0.3.0    [required by alt-ergo-parsers]
  - install   topkg                      1.1.1    [required by hmap, fmt, logs]
  - install   uutf                       1.0.4    [required by dolmen_type]
  - install   zarith                     1.14     [required by alt-ergo-lib]

The following system packages will first need to be installed:
    mingw64-i686-gcc-core mingw64-i686-gmp mingw64-i686-zlib mingw64-x86_64-gmp mingw64-x86_64-zlib pkgconf

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

[NOTE] You can retry with '--assume-depexts' to skip this check, or run 'opam option depext=false' to permanently disable handling of system packages.
       Running the system package manager non-interactively requires '--confirm-level=unsafe-yes'.

opam believes some required external dependencies are missing. opam can:
> 1. Run C:\opam\.opam\.cygwin\setup-x86_64.exe to install them (may need root/sudo access)
  2. Display the recommended C:\opam\.opam\.cygwin\setup-x86_64.exe command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 4

'C:\cygwin64\usr\local\bin\opam.exe install -vy alt-ergo-parsers.2.6.2' failed.
"C:\cygwin64\bin\bash.exe" "-lc" "opam remove -y alt-ergo-parsers.2.6.2
opam install -vy alt-ergo-parsers.2.6.2
res=$?
if [ $res = 31 ]; then
    if opam show -f x-ci-accept-failures: alt-ergo-parsers.2.6.2 | grep -q 'ocaml/opam:windows-server-mingw-ltsc2025-opam'; then
        echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
        exit 69
    fi
fi 


exit $res" failed with exit status 10
Failed: Build failed