Home|Differences with the last checks|Previous runs

Building on odawa

(from windows-server-2022-amd64-ocaml-5.3)
2025-01-22 23:12.49 ---> 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-22 23:12.49 ---> 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 a12dee6bc474c1adf530d0db26271d7b002230ff"))
2025-01-22 23:12.49 ---> using "5884d775e61eb64362dd45eca1fd64192a0a6394ca9d603c4dfb993510b549b2" 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-22 23:12.49 ---> using "437f720dda31a366bd6da8a1575828a0e1117c8b0f0c8f0bd500c12ff96effd6" 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
-> installed mingw-w64-shims.0.2.0
-> retrieved ocaml-compiler.5.3.0  (https://github.com/ocaml/ocaml/releases/download/5.3.0/ocaml-5.3.0.tar.gz)
-> 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-22 23:12.49 ---> using "4468b5fb1d84e06b7019fcbadae17ae9f5bf2c704186cde8b0bb356baf51bea1" from cache

/: (run (network host)
        (shell "opam update --depexts"))
2025-01-22 23:12.49 ---> using "d48dc216985ba08389bba46954a4e4738462d391d65d825d0162de6e3f07053c" from cache

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

The following actions will be performed:
=== install 1 package
  - install coq-shell 1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3: [coq-shell.1: http]
Processing  1/3: [coq-shell.1: extract]
-> retrieved coq-shell.1  (https://github.com/coq/opam-coq-shell/archive/1.tar.gz)
Processing  3/3: [coq-shell: make install]
+ C:\cygwin64\bin\make.exe "install" "PREFIX=C:\\Users\\opam\\AppData\\Local\\opam\\5.3" (CWD=C:\Users\opam\AppData\Local\opam\5.3\.opam-switch\build\coq-shell.1)
- cp src/opam-coq C:\Users\opam\AppData\Local\opam\5.3/bin/
-> installed coq-shell.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-01-22 23:13.19 ---> saved as "71e832c2c40ea4e9cd928585da7a8808c57cf68a86052105c728aa23ce528efe"
Job succeeded