Building on odawa
(from windows-server-2022-amd64-ocaml-5.3)
2025-01-30 01:15.34 ---> using "1d6ffeb5a52124df73b2e951323e99615c52ca4f9bdf0f65039be6146fabdaab" 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"))
2025-01-30 01:15.34 ---> using "75bf3fbea1cbc65a9803f40104651d67c546cddf5606f6a4af6db8fca92eb5c0" 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 2c9566f0b0de5ab6dad7ce8d22b68a2999a1861f"))
2025-01-30 01:15.34 ---> using "5c170ed145dff886c4a0a0920d965d4137076e89da326260a17bdb0a1eb00c0b" 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.
2025-01-30 01:15.34 ---> using "7a325a63525514fd7aee1e8467693cb2dfcb7e32d9563bc2ad996a6bbb4e6464" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.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 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-compiler.5.3.0 (cached)
-> installed mingw-w64-shims.0.2.0
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.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=5.3)
2025-01-30 01:15.34 ---> using "b1f15f308f6803ecac293e291b9847091a2d4d46774d82aed2abf0f87f4025c6" from cache
/: (run (network host)
(shell "opam update --depexts"))
2025-01-30 01:15.34 ---> using "9362e34bc2c1965bcdcf423f02ec00eda962398b6c176162e6d84d2ec4da38ce" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "\
\nopam remove -y \"hol_light_module.1.0\"\
\nopam install -vy \"hol_light_module.1.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"hol_light_module.1.0\" | grep -q '\"windows-server-2022-amd64-ocaml-5.3\"'; 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] hol_light_module.1.0 is not installed.
The following actions will be performed:
=== install 1 package
- install hol_light_module 1.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/3: [hol_light_module.1.0: http]
Processing 1/3: [hol_light_module.1.0: extract]
-> retrieved hol_light_module.1.0 (https://github.com/aqjune/hol-light-module/archive/refs/tags/1.0.tar.gz)
-> installed hol_light_module.1.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-01-30 01:16.03 ---> saved as "af72109ec7d223956c12e794e77455d5e7d0cde7c599f3d5b5e49550760fa068"
Job succeeded
Home|Differences with the last checks|Previous runs