Home|Differences with the last checks|Previous runs

Building on odawa

(from windows-server-2022-amd64-ocaml-4.14.2)
2024-12-18 23:31.05 ---> 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-12-18 23:31.05 ---> 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 f195fd3ffc8fd9778d038cba15efed18c3094402"))
2024-12-18 23:31.05 ---> using "012ddf9a4de9f40c98ca18a617d95c3c69e6c0a50e2837b13846facd384290b9" 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-12-18 23:31.05 ---> using "260603a43dcce5dc1f94dfc48e37989b5eaea7d965587fc79c050395e9501eac" 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-12-18 23:31.05 ---> using "5ce1f3048d5c3363616529505128ebc1f9594f8f4dd0e1814ea2bdc8e96a069f" from cache

/: (run (network host)
        (shell "opam update --depexts"))
2024-12-18 23:31.05 ---> using "bc1a527dee8e5afb6e5e487eca9ef6afed9088c50bda2d206c48af535cb570d6" from cache

/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
        (network host)
        (shell  "\
               \nopam remove -y \"eprover.3.1\"\
               \nopam install -vy \"eprover.3.1\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"eprover.3.1\" | 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] eprover.3.1 is not installed.

The following actions will be performed:
=== install 2 packages
  - install conf-gcc 1.0 [required by eprover]
  - install eprover  3.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/6: [eprover.3.1: http]

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


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - fetch eprover  3.1
| - 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 eprover.3.1' failed.
"
opam remove -y "eprover.3.1"
opam install -vy "eprover.3.1"
res=$?
if [ $res = 31 ]; then
    if opam show -f x-ci-accept-failures: "eprover.3.1" | 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