Building on laodoke.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
f6fae32d1855: Already exists
2b6b54cb75df: Already exists
7f4f75d80dc4: Already exists
86f2c2d376f7: Already exists
5fce5bf93f18: Already exists
91d6c59c3ffe: Already exists
9780bb50741d: Already exists
51f01f04294b: Already exists
46b42b345cac: Already exists
1dd5551ce92c: Already exists
55008ed07edc: Already exists
c1e792eee16f: Already exists
b2a816a70be2: Already exists
64b40eba7a69: Already exists
11491332e35e: Already exists
3314a0772c11: Already exists
9ba5ca987e73: Already exists
a5233de9b1e5: Already exists
bc6dd62b0adb: Already exists
17089b4923c4: Already exists
4dc2bdc414fd: Already exists
4f4fb700ef54: Already exists
1778f929414c: Already exists
21b3034f3560: Already exists
abe40b09cbf3: Already exists
1b0f9717b4f3: Already exists
46bab8457678: Already exists
f75badf20e81: Already exists
92b4348edd65: Already exists
f8b463772393: Already exists
dad7d278149c: Already exists
0ef56c176f19: Already exists
3fe17d841d7c: Already exists
cc682b2328b3: Already exists
cb04b5db3fe0: Pulling fs layer
7951eb285fe1: Pulling fs layer
8eddfc5be3a8: Pulling fs layer
fe0095345d4c: Pulling fs layer
c76cecb20b59: Pulling fs layer
375b1046045f: Pulling fs layer
92c985427cd1: Pulling fs layer
fe0095345d4c: Waiting
c76cecb20b59: Waiting
f7d3b985b1ba: Pulling fs layer
7c6e6b052f9d: Pulling fs layer
375b1046045f: Waiting
92c985427cd1: Waiting
e92f54e86812: Pulling fs layer
f8805f233c2e: Pulling fs layer
f7d3b985b1ba: Waiting
7c6e6b052f9d: Waiting
83373b952d2c: Pulling fs layer
663dc85a117d: Pulling fs layer
83373b952d2c: Waiting
f8805f233c2e: Waiting
e92f54e86812: Waiting
663dc85a117d: Waiting
7951eb285fe1: Verifying Checksum
7951eb285fe1: Download complete
fe0095345d4c: Verifying Checksum
fe0095345d4c: Download complete
c76cecb20b59: Download complete
375b1046045f: Verifying Checksum
375b1046045f: Download complete
92c985427cd1: Verifying Checksum
92c985427cd1: Download complete
f7d3b985b1ba: Verifying Checksum
f7d3b985b1ba: Download complete
7c6e6b052f9d: Verifying Checksum
7c6e6b052f9d: Download complete
e92f54e86812: Verifying Checksum
e92f54e86812: Download complete
f8805f233c2e: Verifying Checksum
f8805f233c2e: Download complete
83373b952d2c: Download complete
cb04b5db3fe0: Verifying Checksum
cb04b5db3fe0: Download complete
663dc85a117d: Verifying Checksum
663dc85a117d: Download complete
8eddfc5be3a8: Download complete
cb04b5db3fe0: Pull complete
7951eb285fe1: Pull complete
8eddfc5be3a8: Pull complete
fe0095345d4c: Pull complete
c76cecb20b59: Pull complete
375b1046045f: Pull complete
92c985427cd1: Pull complete
f7d3b985b1ba: Pull complete
7c6e6b052f9d: Pull complete
e92f54e86812: Pull complete
f8805f233c2e: Pull complete
83373b952d2c: Pull complete
663dc85a117d: Pull complete
Digest: sha256:215d78cea03ed28969926c5e696b68d631be333be3e2b3e86a048d1da602d241
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-08-11 15:29.22 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" 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 "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-08-11 15:29.22 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" 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 854fc71d55ce63c2ce04935106fe0551861f9a39"))
2025-08-11 15:29.22 ---> using "475916120a5e8bdd46d5bf720fb18956c4e33cacc85007945b14f932636914ee" 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:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-08-11 15:29.22 ---> using "9be99d11144cc1a35d40ac27ad0f9322c1e9cd078064bb7137a66028612eb814" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3-opam' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> 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-opam)
2025-08-11 15:29.22 ---> using "b9fcdb3ea6c521a476456b374999641423e11455d71ed9962c683d63e24f241d" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [216 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-2025-08-11-0818.03-F-2025-08-09-1855.42.pdiff [283 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-08-11-0818.03-F-2025-08-09-1855.42.pdiff [283 kB]
- Fetched 562 kB in 2s (274 kB/s)
- Reading package lists...
2025-08-11 15:29.22 ---> using "ae9398ef5a2cbea98741e4c1fc188ccf6f9cbafdc909f5d707d3bf1a05297c76" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.19.1
The following actions will be performed:
=== install 1 package
- install dune 3.19.1 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.19.1 (cached)
-> installed dune.3.19.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-11 15:29.22 ---> using "d61dddc75f3540a1266573579489b25149345e987938e9ad2c4ab34791d06a66" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam remove -y lp-highs.0.5.0\
\nopam install -vy lp-highs.0.5.0\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: lp-highs.0.5.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"))
[NOTE] lp-highs.0.5.0 is not installed.
Nothing to do.
The following actions will be performed:
=== install 6 packages
- install lp 0.5.0 [required by lp-highs]
- install lp-highs 0.5.0
- install menhir 20240715 [required by lp]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by menhir]
- install menhirSdk 20240715 [required by menhir]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/14: [lp.0.5.0, lp-highs.0.5.0: extract]
Processing 2/14: [lp.0.5.0, lp-highs.0.5.0: extract] [menhir.20240715 + 3 others: extract]
-> retrieved lp.0.5.0, lp-highs.0.5.0 (cached)
Processing 2/14: [menhir.20240715 + 3 others: extract]
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
Processing 3/14: [menhirCST: dune build]
Processing 4/14: [menhirCST: dune build] [menhirLib: dune build]
Processing 5/14: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirCST" "-j" "71" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/menhirCST.20240715)
-> compiled menhirCST.20240715
Processing 5/14: [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirCST.20240715
Processing 6/14: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "71" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/menhirSdk.20240715)
-> compiled menhirSdk.20240715
Processing 6/14: [menhirLib: dune build]
-> installed menhirSdk.20240715
Processing 7/14: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "71" (CWD=/home/opam/.opam/5.3-opam/.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 9/14: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "71" (CWD=/home/opam/.opam/5.3-opam/.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 11/14: [lp: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "lp" "-j" "71" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/lp.0.5.0)
- (cd _build/default && /home/opam/.opam/5.3-opam/bin/menhir --log-automaton 2 --table src/lp/parser.mly --base src/lp/parser --infer-read-reply src/lp/parser__mock.mli.inferred)
- Built an LR(0) automaton with 94 states.
- The construction mode is pager.
- Built an LR(1) automaton with 94 states.
-> compiled lp.0.5.0
-> installed lp.0.5.0
Processing 13/14: [lp-highs: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "lp-highs" "-j" "71" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/lp-highs.0.5.0)
-> compiled lp-highs.0.5.0
-> installed lp-highs.0.5.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-11 15:29.48 ---> saved as "6f4ed4fa607b31fa4aee961d9e09a8fb4b2e3866a049aa63ee05ecd84f2c9a56"
Job succeeded
Home|Differences with the last checks|Previous runs