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


Building on odawa

(from windows-server-2022-amd64-ocaml-4.14.2)
2024-11-11 19:01.21 ---> using "b1ae2ad36af625524288c188f7e099c501706c4119a38e11e1b5610819652cec" from cache

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

/: (env OPAMPRECISETRACKING 1)

/: (env OPAMUTF8 never)

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (env CI true)

/: (env OPAM_HEALTH_CHECK_CI true)

/: (run (shell "ln -f /usr/bin/opam-dev.exe /usr/bin/opam.exe"))
2024-11-11 19:01.21 ---> using "4b57a7007c87218b9b3ddcf81f74c22338c638c8bcdfdaa01c2afa888290f021" from cache

/: (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 eecf6d033c6c13a6bda9b445601ddcbaa09dd288"))
2024-11-11 19:01.21 ---> using "916fc88efba39c7529535e5586ef636983924e64382c926374941dfb70826c38" from cache

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

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

  Added 9 lines after line 1 in ~\.bash_profile.
2024-11-11 19:01.21 ---> using "7dff50a164197daeb211f43cc31c3b4201b1bd2d0c774a26d6925a430147bec7" from cache

/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
        (network host)
        (shell "opam switch create --repositories=default 'default' 'ocaml-base-compiler.4.14.2'"))

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

<><> 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 flexdll.0.43  (cached)
-> retrieved ocaml-config.3  (cached)
-> installed flexdll.0.43
-> installed ocaml-options-vanilla.1
-> retrieved mingw-w64-shims.0.2.0  (cached)
-> installed conf-mingw-w64-gcc-x86_64.1
-> installed ocaml-env-mingw64.1
-> installed system-mingw.1
-> retrieved ocaml-base-compiler.4.14.2  (cached)
-> installed mingw-w64-shims.0.2.0
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.3
-> installed ocaml.4.14.2
Done.
# To update the current shell environment, run: eval $(opam env --switch=default)
2024-11-11 19:01.21 ---> using "ae60b92c2a5a4da67e8935d52ddeae392cd8745a47ba71ee33b6f19f5c2bd60f" from cache

/: (run (network host)
        (shell "opam update --depexts"))
2024-11-11 19:01.21 ---> using "79f391d910b12f0453cbe8a949bb8e140683a166720331d05045e2d73e88ecc9" from cache

/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
        (network host)
        (shell  "\
               \nopam remove -y \"lintcstubs.0.4.7\"\
               \nopam install -vy \"lintcstubs.0.4.7\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"lintcstubs.0.4.7\" | grep -q '\"windows-server-2022-amd64-ocaml-4.14.2\"'; 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\
               \n"))
Nothing to do.
[NOTE] lintcstubs.0.4.7 is not installed.

The following actions will be performed:
=== recompile 1 package
  - recompile mingw-w64-shims           0.2.0             [uses conf-mingw-w64-gcc-i686]
=== install 73 packages
  - install   angstrom                  0.16.1            [required by uri]
  - install   arg-complete              0.1.0             [required by goblint]
  - install   astring                   0.8.5             [required by fpath]
  - install   batteries                 3.8.0             [required by goblint]
  - install   bigarray-compat           1.1.0             [required by ctypes]
  - install   bigstringaf               0.10.0            [required by angstrom]
  - install   bos                       0.2.1             [required by yaml]
  - install   camlp-streams             5.0.1             [required by batteries]
  - install   catapult                  0.2               [required by goblint]
  - install   catapult-file             0.2               [required by goblint]
  - install   conf-autoconf             0.2               [required by cpu]
  - install   conf-gcc                  1.0               [required by goblint]
  - install   conf-gmp                  4                 [required by goblint]
  - install   conf-mingw-w64-gcc-i686   1                 [required by 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-perl                 2                 [required by goblint-cil]
  - install   conf-pkg-config           3                 [required by conf-mingw-w64-gmp-x86_64, conf-mingw-w64-gmp-i686, zarith]
  - install   cppo                      1.7.0             [required by arg-complete, goblint-cil]
  - install   cpu                       2.0.0             [required by goblint]
  - install   csexp                     1.5.2             [required by dune-private-libs, dune-configurator]
  - install   cstruct                   6.2.0             [required by hex]
  - install   ctypes                    0.23.0            [required by yaml]
  - install   dune                      3.16.1            [required by lintcstubs]
  - install   dune-compiledb            0.6.0             [required by lintcstubs]
  - install   dune-configurator         3.16.1            [required by goblint-cil, yaml]
  - install   dune-private-libs         3.16.1            [required by dune-site]
  - install   dune-site                 3.16.1            [required by goblint]
  - install   dyn                       3.16.1            [required by dune-private-libs]
  - install   ezjsonm                   1.3.0             [required by dune-compiledb]
  - install   fmt                       0.9.0             [required by lintcstubs]
  - install   fpath                     0.7.3             [required by lintcstubs]
  - install   goblint                   2.1.0             [required by lintcstubs]
  - install   goblint-cil               2.0.1             [required by lintcstubs]
  - install   hex                       1.5.0             [required by ezjsonm, json-data-encoding]
  - install   integers                  0.7.0             [required by ctypes]
  - install   json-data-encoding        1.0.1             [required by goblint]
  - install   jsonm                     1.0.2             [required by ezjsonm]
  - install   jsonrpc                   1.19.0            [required by goblint]
  - install   lintcstubs                0.4.7
  - install   lintcstubs-arity          0.4.1             [required by lintcstubs-gen]
  - install   lintcstubs-gen            0.4.7             [required by lintcstubs]
  - install   logs                      0.7.0             [required by bos]
  - install   num                       1.5-1             [required by sexplib, batteries]
  - install   ocaml-compiler-libs       v0.12.4           [required by ppxlib]
  - install   ocaml-syntax-shims        1.0.0             [required by angstrom]
  - install   ocamlbuild                0.15.0            [required by fpath, uuidm]
  - install   ocamlfind                 1.9.5             [required by batteries, fpath, uuidm]
  - install   ordering                  3.16.1            [required by dyn, stdune]
  - install   parsexp                   v0.16.0           [required by sexplib]
  - install   pp                        1.2.0             [required by dune-private-libs]
  - install   ppx_blob                  0.9.0             [required by goblint]
  - install   ppx_derivers              1.2.1             [required by ppx_deriving]
  - install   ppx_deriving              6.0.3             [required by goblint]
  - install   ppx_deriving_hash         0.1.2             [required by goblint]
  - install   ppx_deriving_yojson       3.9.0             [required by goblint]
  - install   ppxlib                    0.33.1~5.3preview [required by ppx_blob, ppx_deriving_hash]
  - install   qcheck-core               0.22              [required by goblint]
  - install   rresult                   0.7.0             [required by bos]
  - install   seq                       base              [required by yojson]
  - install   sexplib                   v0.16.0           [required by lintcstubs]
  - install   sexplib0                  v0.16.0           [required by dune-compiledb]
  - install   sha                       1.15.4            [required by goblint]
  - install   stdlib-shims              0.3.0             [required by goblint-cil, sha]
  - install   stdune                    3.16.1            [required by dune-private-libs]
  - install   stringext                 1.6.0             [required by uri]
  - install   topkg                     1.0.7             [required by fpath, uuidm]
  - install   uri                       4.4.0             [required by json-data-encoding]
  - install   uuidm                     0.9.9             [required by goblint]
  - install   uutf                      1.0.3             [required by ezjsonm]
  - install   yaml                      3.2.0             [required by goblint]
  - install   yojson                    2.2.2             [required by goblint]
  - install   zarith                    1.14              [required by goblint]

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

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

opam believes some required external dependencies are missing. opam can:
> 1. Run C:\Users\opam\AppData\Local\opam\.cygwin\setup-x86_64.exe to install them (may need root/sudo access)
  2. Display the recommended C:\Users\opam\AppData\Local\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] 1

+ C:\Users\opam\AppData\Local\opam\.cygwin\setup-x86_64.exe "--root" "C:\\cygwin64" "--quiet-mode" "unattended" "--no-shortcuts" "--no-startmenu" "--no-desktop" "--no-admin" "--no-version-check" "--no-write-registry" "--packages" "autoconf,mingw64-i686-gcc-core,mingw64-i686-gmp,mingw64-x86_64-gmp"
- Starting cygwin install, version 2.932
- User has backup/restore rights
- User has symlink creation right
- Current Directory: C:\Windows\system32
- root: C:\cygwin64 system
- Changing gid to Administrators
- Selected local directory: C:\Windows\system32
- net: Preconfig
- site: https://cygwin.mirror.constant.com/
- solving: 4 tasks, update: no, use test packages: no
- solving: 18 tasks, update: no, use test packages: no
- Augmented Transaction List:
-    0 install libdb18.1                             18.1.40-1 
-    1 install libgdbm_compat4                       1.18.1-1  
-    2 install m4                                    1.4.19-1  
-    3 install mingw64-i686-binutils                 2.43.1-1  
-    4 install mingw64-i686-windows-default-manifest 6.4-1     
-    5 install mingw64-i686-winpthreads              12.0.0-1  
-    6 install mingw64-x86_64-gcc-g++                12.4.0-1  
-    7 install perl                                  5.40.0-1  
-    8 install autoconf2.7                           2.72-1    
-    9 install autoconf2.5                           2.69-5    
-   10 install mingw64-i686-headers                  12.0.0-1  
-   11 install mingw64-x86_64-gmp                    6.3.0-1   
-   12 install autoconf2.1                           2.13-12   
-   13 install mingw64-i686-runtime                  12.0.0-1  
-   14 install autoconf                              15-2      
-   15 install mingw64-i686-gcc-core                 12.4.0-1  
-   16 install mingw64-i686-gcc-g++                  12.4.0-1  
-   17 install mingw64-i686-gmp                      6.3.0-1   
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/db/libdb18.1/libdb18.1-18.1.40-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/gdbm/libgdbm_compat4/libgdbm_compat4-1.18.1-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/m4/m4-1.4.19-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-i686-binutils/mingw64-i686-binutils-2.43.1-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-windows-default-manifest/mingw64-i686-windows-default-manifest-6.4-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-winpthreads/mingw64-i686-winpthreads-12.0.0-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-x86_64-gcc/mingw64-x86_64-gcc-g++/mingw64-x86_64-gcc-g++-12.4.0-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/perl/perl-5.40.0-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.7/autoconf2.7-2.72-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.5/autoconf2.5-2.69-5.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-headers/mingw64-i686-headers-12.0.0-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-x86_64-gmp/mingw64-x86_64-gmp-6.3.0-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.1/autoconf2.1-2.13-12.tar.bz2
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-runtime/mingw64-i686-runtime-12.0.0-1.tar.xz
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf/autoconf-15-2.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-i686-gcc/mingw64-i686-gcc-core/mingw64-i686-gcc-core-12.4.0-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-i686-gcc/mingw64-i686-gcc-g++/mingw64-i686-gcc-g++-12.4.0-1.tar.zst
- Downloaded C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-gmp/mingw64-i686-gmp-6.3.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/db/libdb18.1/libdb18.1-18.1.40-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/gdbm/libgdbm_compat4/libgdbm_compat4-1.18.1-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/m4/m4-1.4.19-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-i686-binutils/mingw64-i686-binutils-2.43.1-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-windows-default-manifest/mingw64-i686-windows-default-manifest-6.4-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-winpthreads/mingw64-i686-winpthreads-12.0.0-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-x86_64-gcc/mingw64-x86_64-gcc-g++/mingw64-x86_64-gcc-g++-12.4.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/perl/perl-5.40.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.7/autoconf2.7-2.72-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.5/autoconf2.5-2.69-5.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-headers/mingw64-i686-headers-12.0.0-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-x86_64-gmp/mingw64-x86_64-gmp-6.3.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf2.1/autoconf2.1-2.13-12.tar.bz2
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-runtime/mingw64-i686-runtime-12.0.0-1.tar.xz
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/autoconf/autoconf-15-2.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-i686-gcc/mingw64-i686-gcc-core/mingw64-i686-gcc-core-12.4.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/x86_64/release/mingw64-i686-gcc/mingw64-i686-gcc-g++/mingw64-i686-gcc-g++-12.4.0-1.tar.zst
- Extracting from file://C:\Windows\system32/https%3a%2f%2fcygwin.mirror.constant.com%2f/noarch/release/mingw64-i686-gmp/mingw64-i686-gmp-6.3.0-1.tar.zst
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/0p_000_autorebase.dash"
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/0p_update-info-dir.dash"
- running: C:\cygwin64\bin\dash.exe "/etc/postinstall/zp_man-db-update-index.dash"
- Ending cygwin install
- NOTE: you should run 'diskperf -y' to enable the disk statistics
- NOTE: you should run 'diskperf -y' to enable the disk statistics

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/215: [angstrom.0.16.1: extract]
Processing  2/215: [angstrom.0.16.1: extract] [arg-complete.0.1.0: extract]
Processing  3/215: [angstrom.0.16.1: extract] [arg-complete.0.1.0: extract] [astring.0.8.5: extract]
-> retrieved angstrom.0.16.1  (cached)
Processing  3/215: [arg-complete.0.1.0: extract] [astring.0.8.5: extract]
Processing  4/215: [arg-complete.0.1.0: extract] [astring.0.8.5: extract] [batteries.3.8.0: extract]
-> retrieved arg-complete.0.1.0  (cached)
Processing  4/215: [astring.0.8.5: extract] [batteries.3.8.0: extract]
Processing  5/215: [astring.0.8.5: extract] [batteries.3.8.0: extract] [bigarray-compat.1.1.0: extract]
-> retrieved astring.0.8.5  (cached)
Processing  5/215: [batteries.3.8.0: extract] [bigarray-compat.1.1.0: extract]
Processing  6/215: [batteries.3.8.0: extract] [bigarray-compat.1.1.0: extract] [bigstringaf.0.10.0: extract]
-> retrieved bigarray-compat.1.1.0  (cached)
Processing  6/215: [batteries.3.8.0: extract] [bigstringaf.0.10.0: extract]
Processing  7/215: [batteries.3.8.0: extract] [bigstringaf.0.10.0: extract] [bos.0.2.1: extract]
-> retrieved batteries.3.8.0  (cached)
Processing  7/215: [bigstringaf.0.10.0: extract] [bos.0.2.1: extract]
Processing  8/215: [bigstringaf.0.10.0: extract] [bos.0.2.1: extract] [camlp-streams.5.0.1: extract]
-> retrieved bigstringaf.0.10.0  (cached)
Processing  8/215: [bos.0.2.1: extract] [camlp-streams.5.0.1: extract]
Processing  9/215: [bos.0.2.1: extract] [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
-> retrieved bos.0.2.1  (cached)
Processing  9/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 10/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 11/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
-> retrieved conf-gmp.4  (cached)
Processing 12/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 13/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 14/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 15/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 16/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 17/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract]
Processing 18/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract] [cppo.1.7.0: extract]
Processing 19/215: [camlp-streams.5.0.1: extract] [catapult.0.2, catapult-file.0.2: extract] [cppo.1.7.0: extract] [conf-autoconf: sh autoconf -V]
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved catapult.0.2, catapult-file.0.2  (cached)
-> retrieved cppo.1.7.0  (cached)
+ C:\cygwin64\bin\sh.exe "-exc" "autoconf -V" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\conf-autoconf.0.2)
- + autoconf -V

#=== ERROR while compiling conf-gcc.1.0 =======================================#
"gcc": command not found.


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions were aborted
| - recompile mingw-w64-shims                                                                                                               0.2.0
| - fetch     camlp-streams                                                                                                                 5.0.1
| - fetch     catapult.0.2, catapult-file.0.2                                                                                               
| - fetch     cppo                                                                                                                          1.7.0
| - fetch     cpu                                                                                                                           2.0.0
| - fetch     csexp                                                                                                                         1.5.2
| - fetch     cstruct                                                                                                                       6.2.0
| - fetch     ctypes                                                                                                                        0.23.0
| - fetch     dune.3.16.1, dune-configurator.3.16.1, dune-private-libs.3.16.1, dune-site.3.16.1, dyn.3.16.1, ordering.3.16.1, stdune.3.16.1 
| - fetch     dune-compiledb                                                                                                                0.6.0
| - fetch     ezjsonm                                                                                                                       1.3.0
| - fetch     fmt                                                                                                                           0.9.0
| - fetch     fpath                                                                                                                         0.7.3
| - fetch     goblint                                                                                                                       2.1.0
| - fetch     goblint-cil                                                                                                                   2.0.1
| - fetch     hex                                                                                                                           1.5.0
| - fetch     integers                                                                                                                      0.7.0
| - fetch     json-data-encoding                                                                                                            1.0.1
| - fetch     jsonm                                                                                                                         1.0.2
| - fetch     jsonrpc                                                                                                                       1.19.0
| - fetch     lintcstubs.0.4.7, lintcstubs-gen.0.4.7                                                                                        
| - fetch     lintcstubs-arity                                                                                                              0.4.1
| - fetch     logs                                                                                                                          0.7.0
| - fetch     mingw-w64-shims                                                                                                               0.2.0
| - fetch     num                                                                                                                           1.5-1
| - fetch     ocaml-compiler-libs                                                                                                           v0.12.4
| - fetch     ocaml-syntax-shims                                                                                                            1.0.0
| - fetch     ocamlbuild                                                                                                                    0.15.0
| - fetch     ocamlfind                                                                                                                     1.9.5
| - fetch     parsexp                                                                                                                       v0.16.0
| - fetch     pp                                                                                                                            1.2.0
| - fetch     ppx_blob                                                                                                                      0.9.0
| - fetch     ppx_derivers                                                                                                                  1.2.1
| - fetch     ppx_deriving                                                                                                                  6.0.3
| - fetch     ppx_deriving_hash                                                                                                             0.1.2
| - fetch     ppx_deriving_yojson                                                                                                           3.9.0
| - fetch     ppxlib                                                                                                                        0.33.1~5.3preview
| - fetch     qcheck-core                                                                                                                   0.22
| - fetch     rresult                                                                                                                       0.7.0
| - fetch     seq                                                                                                                           base
| - fetch     sexplib                                                                                                                       v0.16.0
| - fetch     sexplib0                                                                                                                      v0.16.0
| - fetch     sha                                                                                                                           1.15.4
| - fetch     stdlib-shims                                                                                                                  0.3.0
| - fetch     stringext                                                                                                                     1.6.0
| - fetch     topkg                                                                                                                         1.0.7
| - fetch     uri                                                                                                                           4.4.0
| - fetch     uuidm                                                                                                                         0.9.9
| - fetch     uutf                                                                                                                          1.0.3
| - fetch     yaml                                                                                                                          3.2.0
| - fetch     yojson                                                                                                                        2.2.2
| - fetch     zarith                                                                                                                        1.14
| - install   angstrom                                                                                                                      0.16.1
| - install   arg-complete                                                                                                                  0.1.0
| - install   astring                                                                                                                       0.8.5
| - install   batteries                                                                                                                     3.8.0
| - install   bigarray-compat                                                                                                               1.1.0
| - install   bigstringaf                                                                                                                   0.10.0
| - install   bos                                                                                                                           0.2.1
| - install   camlp-streams                                                                                                                 5.0.1
| - install   catapult                                                                                                                      0.2
| - install   catapult-file                                                                                                                 0.2
| - install   conf-gmp                                                                                                                      4
| - install   conf-mingw-w64-gcc-i686                                                                                                       1
| - install   conf-mingw-w64-gmp-i686                                                                                                       1
| - install   conf-mingw-w64-gmp-x86_64                                                                                                     1
| - install   conf-perl                                                                                                                     2
| - install   conf-pkg-config                                                                                                               3
| - install   cppo                                                                                                                          1.7.0
| - install   cpu                                                                                                                           2.0.0
| - install   csexp                                                                                                                         1.5.2
| - install   cstruct                                                                                                                       6.2.0
| - install   ctypes                                                                                                                        0.23.0
| - install   dune                                                                                                                          3.16.1
| - install   dune-compiledb                                                                                                                0.6.0
| - install   dune-configurator                                                                                                             3.16.1
| - install   dune-private-libs                                                                                                             3.16.1
| - install   dune-site                                                                                                                     3.16.1
| - install   dyn                                                                                                                           3.16.1
| - install   ezjsonm                                                                                                                       1.3.0
| - install   fmt                                                                                                                           0.9.0
| - install   fpath                                                                                                                         0.7.3
| - install   goblint                                                                                                                       2.1.0
| - install   goblint-cil                                                                                                                   2.0.1
| - install   hex                                                                                                                           1.5.0
| - install   integers                                                                                                                      0.7.0
| - install   json-data-encoding                                                                                                            1.0.1
| - install   jsonm                                                                                                                         1.0.2
| - install   jsonrpc                                                                                                                       1.19.0
| - install   lintcstubs                                                                                                                    0.4.7
| - install   lintcstubs-arity                                                                                                              0.4.1
| - install   lintcstubs-gen                                                                                                                0.4.7
| - install   logs                                                                                                                          0.7.0
| - install   num                                                                                                                           1.5-1
| - install   ocaml-compiler-libs                                                                                                           v0.12.4
| - install   ocaml-syntax-shims                                                                                                            1.0.0
| - install   ocamlbuild                                                                                                                    0.15.0
| - install   ocamlfind                                                                                                                     1.9.5
| - install   ordering                                                                                                                      3.16.1
| - install   parsexp                                                                                                                       v0.16.0
| - install   pp                                                                                                                            1.2.0
| - install   ppx_blob                                                                                                                      0.9.0
| - install   ppx_derivers                                                                                                                  1.2.1
| - install   ppx_deriving                                                                                                                  6.0.3
| - install   ppx_deriving_hash                                                                                                             0.1.2
| - install   ppx_deriving_yojson                                                                                                           3.9.0
| - install   ppxlib                                                                                                                        0.33.1~5.3preview
| - install   qcheck-core                                                                                                                   0.22
| - install   rresult                                                                                                                       0.7.0
| - install   seq                                                                                                                           base
| - install   sexplib                                                                                                                       v0.16.0
| - install   sexplib0                                                                                                                      v0.16.0
| - install   sha                                                                                                                           1.15.4
| - install   stdlib-shims                                                                                                                  0.3.0
| - install   stdune                                                                                                                        3.16.1
| - install   stringext                                                                                                                     1.6.0
| - install   topkg                                                                                                                         1.0.7
| - install   uri                                                                                                                           4.4.0
| - install   uuidm                                                                                                                         0.9.9
| - install   uutf                                                                                                                          1.0.3
| - install   yaml                                                                                                                          3.2.0
| - install   yojson                                                                                                                        2.2.2
| - install   zarith                                                                                                                        1.14
+- 
+- The following actions failed
| - build conf-autoconf 0.2
| - build conf-gcc      1.0
+- 
- No changes have been performed
# To update the current shell environment, run: eval $(opam env)
'C:\cygwin64\bin\opam.exe install -vy lintcstubs.0.4.7' failed.
"
opam remove -y "lintcstubs.0.4.7"
opam install -vy "lintcstubs.0.4.7"
res=$?
if [ $res = 31 ]; then
    if opam show -f x-ci-accept-failures: "lintcstubs.0.4.7" | grep -q '"windows-server-2022-amd64-ocaml-4.14.2"'; 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 31
Failed: Build failed