Building on asteria.caelum.ci.dev (from ocaml/opam:debian-unstable) Unable to find image 'ocaml/opam:debian-unstable' locally debian-unstable: Pulling from ocaml/opam 7d65c3263564: Pulling fs layer 7d65c3263564: Verifying Checksum 7d65c3263564: Download complete 7d65c3263564: Pull complete Digest: sha256:742be348c7717a09251c7326d0807ab1d17894caa77187ee3960026925debb21 Status: Downloaded newer image for ocaml/opam:debian-unstable 2024-05-01 16:59.00 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2024-05-01 16:59.00 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 784f6c3aecb7d11609be51cc2e4a70a55abd2ddc")) 2024-05-01 16:59.00 ---> using "ab4752ec45f434bd31352caf567b49b876e433e96bd581f1632330cd2cbeaf1f" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. ~/.profile is already up-to-date. 2024-05-01 16:59.00 ---> using "2ddb880cde074ccead15005b5d2c67e65df42d2504e6684f08378272ffa33857" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.09' '4.09.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.09.1 (cached) -> installed ocaml-base-compiler.4.09.1 -> installed ocaml-config.1 -> installed ocaml.4.09.1 Done. # Run eval $(opam env --switch=4.09) to update the current shell environment 2024-05-01 16:59.00 ---> using "b9d1f6eb7d9ce9691a19cfa64992137a0cdfe4171be15fa4698e8260d7cde0bf" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [198 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-30-1407.27-F-2024-04-25-1406.51.pdiff [623 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-30-1407.27-F-2024-04-25-1406.51.pdiff [623 kB] - Fetched 885 kB in 2s (574 kB/s) - Reading package lists... - 2024-05-01 16:59.00 ---> using "06cfc50eb7facbfcd423ae154734049c844f78941d05f6bf01bd0d26b51bd763" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam 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 '\"debian-unstable\"'; 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")) [NOTE] psmt2-frontend.0.4.0 is not installed. Nothing to do. The following actions will be performed: === install 6 packages - install dune 3.15.2 [required by psmt2-frontend] - install menhir 20231231 [required by psmt2-frontend] - install menhirCST 20231231 [required by menhir] - install menhirLib 20231231 [required by menhir] - install menhirSdk 20231231 [required by menhir] - install psmt2-frontend 0.4.0 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/15: Processing 2/15: Processing 3/15: -> retrieved psmt2-frontend.0.4.0 (cached) -> retrieved menhir.20231231, menhirCST.20231231, menhirLib.20231231, menhirSdk.20231231 (cached) -> retrieved dune.3.15.2 (cached) Processing 4/15: [dune: ocaml 255] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.15.2) - ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 255 - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml - File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamVCS.ml - File "vendor/opam/src/repository/opamVCS.ml", lines 179-182, characters 11-40: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads dune_util__Gc.ml - File "src/dune_util/gc.ml", lines 78-95, characters 5-6: - Warning 23: all the fields are explicitly listed in this record: - the 'with' clause is useless. - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamDownload.ml - File "vendor/opam/src/repository/opamDownload.ml", lines 323-361, characters 42-41: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamRepository.ml - File "vendor/opam/src/repository/opamRepository.ml", lines 88-90, characters 45-77: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamRepository.ml", lines 277-281, characters 38-17: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamRepository.ml", lines 423-427, characters 12-42: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, Checksum_mismatch _) - Processing 4/15: [dune: ./_boot/dune.exe build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.15.2) -> compiled dune.3.15.2 -> installed dune.3.15.2 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] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirCST" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhirCST.20231231) -> compiled menhirCST.20231231 Processing 8/15: [menhirLib: dune build] [menhirSdk: dune build] -> installed menhirCST.20231231 Processing 9/15: [menhirLib: dune build] [menhirSdk: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhirSdk.20231231) -> compiled menhirSdk.20231231 Processing 9/15: [menhirLib: dune build] -> installed menhirSdk.20231231 Processing 10/15: [menhirLib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhirLib.20231231) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20231231 -> installed menhirLib.20231231 Processing 12/15: [menhir: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhir.20231231) - (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.20231231 -> installed menhir.20231231 Processing 14/15: [psmt2-frontend: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "psmt2-frontend" "-j" "255" "@install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/psmt2-frontend.0.4.0) - (cd _build/default && /home/opam/.opam/4.09/bin/menhir 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 && /home/opam/.opam/4.09/bin/menhir 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. # Run eval $(opam env) to update the current shell environment 2024-05-01 16:59.40 ---> saved as "ae9e7c072c02efc27e2b33b0983e6bd77da2f3bc723f295fce0e98851d987ad9" Job succeeded