Building on thyme
(from windows-server-2022-amd64-ocaml-5.3)
2025-10-01 06:35.28 ---> 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-10-01 06:35.28 ---> 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 ec0dc125adb330b5f57fb9009c8dd112a5223366"))
2025-10-01 06:35.28 ---> using "2383a20a6566dcacd368a5493b860b7fb7c5c6b188518ea6d8bebdd33eae41b3" 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-10-01 06:35.28 ---> using "f49b2af8f828ab535c6923b928ef76b2ce9fe6225b25c7c49e930930ea0115d9" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "opam switch create --repositories=default '4.14' '4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"} | "ocaml-system" {= "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.44 (cached)
-> retrieved ocaml-config.3 (cached)
-> installed flexdll.0.44
-> 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-base-compiler.4.14.2 (cached)
-> 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=4.14)
2025-10-01 06:35.28 ---> using "f843ec66e242b20e75b84ac42ba917f142a841e81b9f70987a7b1699a1e0d03e" from cache
/: (run (network host)
(shell "opam update --depexts"))
2025-10-01 06:35.28 ---> using "758010f38465f1e1c5f4c94f9b28c2c4b0b221051e6751fab89793b883e9b964" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "opam remove -y psmt2-frontend.0.4.0\
\nopam install -vy psmt2-frontend.0.4.0\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: psmt2-frontend.0.4.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"))
Nothing to do.
[NOTE] psmt2-frontend.0.4.0 is not installed.
The following actions will be performed:
=== install 6 packages
- install dune 3.19.1 [required by psmt2-frontend]
- install menhir 20240715 [required by psmt2-frontend]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by menhir]
- install menhirSdk 20240715 [required by menhir]
- install psmt2-frontend 0.4.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/15: [dune.3.19.1: http]
Processing 2/15: [dune.3.19.1: http] [menhir.20240715 + 3 others: extract]
Processing 3/15: [dune.3.19.1: http] [menhir.20240715 + 3 others: extract] [psmt2-frontend.0.4.0: extract]
-> retrieved psmt2-frontend.0.4.0 (cached)
Processing 3/15: [dune.3.19.1: http] [menhir.20240715 + 3 others: extract]
Processing 3/15: [dune.3.19.1: extract] [menhir.20240715 + 3 others: extract]
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
Processing 3/15: [dune.3.19.1: extract]
-> retrieved dune.3.19.1 (https://github.com/ocaml/dune/releases/download/3.19.1/dune-3.19.1.tbz)
Processing 4/15: [dune: ocaml 7]
+ C:\Users\opam\AppData\Local\opam\4.14\bin\ocaml.exe "boot/bootstrap.ml" "-j" "7" (CWD=C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\dune.3.19.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- .\.duneboot.exe -j 7
-
Processing 4/15: [dune: ./_boot/dune.exe build]
+ C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\dune.3.19.1\./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "7" (CWD=C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\dune.3.19.1)
-> compiled dune.3.19.1
-> installed dune.3.19.1
Processing 6/15: [menhirCST: dune build]
Processing 7/15: [menhirCST: dune build] [menhirLib: dune build]
Processing 8/15: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build]
+ C:\Users\opam\AppData\Local\opam\4.14\bin\dune.exe "build" "-p" "menhirCST" "-j" "7" (CWD=C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\menhirCST.20240715)
-> compiled menhirCST.20240715
Processing 8/15: [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirCST.20240715
Processing 9/15: [menhirLib: dune build] [menhirSdk: dune build]
+ C:\Users\opam\AppData\Local\opam\4.14\bin\dune.exe "build" "-p" "menhirSdk" "-j" "7" (CWD=C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\menhirSdk.20240715)
-> compiled menhirSdk.20240715
Processing 9/15: [menhirLib: dune build]
-> installed menhirSdk.20240715
Processing 10/15: [menhirLib: dune build]
+ C:\Users\opam\AppData\Local\opam\4.14\bin\dune.exe "build" "-p" "menhirLib" "-j" "7" (CWD=C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\menhirLib.20240715)
- (cd _build/default/lib/pack && .\pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20240715
-> installed menhirLib.20240715
Processing 12/15: [menhir: dune build]
+ C:\Users\opam\AppData\Local\opam\4.14\bin\dune.exe "build" "-p" "menhir" "-j" "7" (CWD=C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\menhir.20240715)
- (cd _build/default/lib/pack && .\pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin\menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 99 sample input sentences and 99 error messages.
- Read 99 sample input sentences and 47 error messages.
- (cd _build/default && src\stage2\.bin\menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 199 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 308 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 50 states.
- Priority played a role in 0 of these states.
- 156 out of 308 states have a default reduction.
- 108 out of 308 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 39 out of 96 symbols keep track of their end position.
- The StackLang code contains 4113 instructions in 277 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin\menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 99 sample input sentences and 47 error messages.
-> compiled menhir.20240715
-> installed menhir.20240715
Processing 14/15: [psmt2-frontend: dune build]
+ C:\Users\opam\AppData\Local\opam\4.14\bin\dune.exe "build" "-p" "psmt2-frontend" "-j" "7" "@install" (CWD=C:\Users\opam\AppData\Local\opam\4.14\.opam-switch\build\psmt2-frontend.0.4.0)
- File "dune-project", line 15, characters 3-31:
- 15 | (psmt2-frontend (= version))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning: Possible typo in constraint for dependency "psmt2-frontend": '(=
- version)' might be a mistake.
- Hint: Did you mean to use the `:version` variable instead? Example: (depends
- (psmt2-frontend (= :version)))
- (cd _build/default && C:\Users\opam\AppData\Local\opam\4.14\bin\menhir.exe src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-write-query src/lib/smtlib_parser__mock.ml.mock)
- Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
- (cd _build/default && C:\Users\opam\AppData\Local\opam\4.14\bin\menhir.exe src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred)
- Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
- Warning: 22 end-of-stream conflicts were arbitrarily resolved.
- File "<standard.mly>", line 214, characters 16-16:
- Warning: production list(term) -> is never reduced.
- Warning: in total, 1 production is never reduced.
-> compiled psmt2-frontend.0.4.0
-> installed psmt2-frontend.0.4.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-01 06:47.12 ---> saved as "5af313a6510250b4df8a0eb216b1748bdf06f10806ab944fca3f8ca6f9f814dc"
Job succeeded
Home|Differences with the last checks|Previous runs