Building on doris.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
2e268ef41e67: Already exists
326b3609ce43: Already exists
7394737016a6: Already exists
185b28e1624b: Already exists
3e706423dfed: Already exists
7241f2237d13: Already exists
ac1427a34992: Already exists
74a2abdc75b2: Already exists
244f8b188d6f: Already exists
2cd3331ab10f: Already exists
859a64f8acb7: Already exists
04d0647ec61c: Already exists
e887ab878228: Pulling fs layer
c4ddffa39cb5: Pulling fs layer
d9de62ea8f06: Pulling fs layer
885eefa741f8: Pulling fs layer
c2f622556afd: Pulling fs layer
0deaddd419ba: Pulling fs layer
06df7496f4a1: Pulling fs layer
9bee2c951ad1: Pulling fs layer
4f4fb700ef54: Pulling fs layer
bbc7d17d4a7b: Pulling fs layer
fb4e89a17943: Pulling fs layer
c97ceff3cd56: Pulling fs layer
4f4466d5ec30: Pulling fs layer
885eefa741f8: Waiting
11df0ed87674: Pulling fs layer
d820233a7c33: Pulling fs layer
25f4c8f7bae4: Pulling fs layer
c2f622556afd: Waiting
4d27ae7a2d38: Pulling fs layer
3eeff774a957: Pulling fs layer
0deaddd419ba: Waiting
06df7496f4a1: Waiting
9b9cb8e4b7df: Pulling fs layer
f25c428b4c25: Pulling fs layer
abb195488e38: Pulling fs layer
11df0ed87674: Waiting
29febc3b1ccd: Pulling fs layer
4f4fb700ef54: Waiting
bbc7d17d4a7b: Waiting
9bee2c951ad1: Waiting
ffb76ce33c91: Pulling fs layer
d820233a7c33: Waiting
bee3dc263b43: Pulling fs layer
13834c607cf5: Pulling fs layer
4f4466d5ec30: Waiting
25f4c8f7bae4: Waiting
221e6e718f16: Pulling fs layer
fb4e89a17943: Waiting
cf0c83648f42: Pulling fs layer
26f18d1ffd03: Pulling fs layer
9b9cb8e4b7df: Waiting
c97ceff3cd56: Waiting
709166d9dd12: Pulling fs layer
29febc3b1ccd: Waiting
4d27ae7a2d38: Waiting
a52d4e4a40ec: Pulling fs layer
f25c428b4c25: Waiting
3eeff774a957: Waiting
ffb76ce33c91: Waiting
08e2bd6d8c96: Pulling fs layer
bee3dc263b43: Waiting
cf0c83648f42: Waiting
221e6e718f16: Waiting
a017f20dcdf9: Pulling fs layer
26f18d1ffd03: Waiting
709166d9dd12: Waiting
13834c607cf5: Waiting
a096fcf0cd27: Pulling fs layer
5c5234187e7d: Pulling fs layer
a52d4e4a40ec: Waiting
08e2bd6d8c96: Waiting
d9de62ea8f06: Verifying Checksum
d9de62ea8f06: Download complete
c4ddffa39cb5: Verifying Checksum
c4ddffa39cb5: Download complete
e887ab878228: Verifying Checksum
e887ab878228: Download complete
c2f622556afd: Download complete
885eefa741f8: Download complete
0deaddd419ba: Verifying Checksum
0deaddd419ba: Download complete
06df7496f4a1: Verifying Checksum
06df7496f4a1: Download complete
9bee2c951ad1: Verifying Checksum
9bee2c951ad1: Download complete
e887ab878228: Pull complete
c4ddffa39cb5: Pull complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
bbc7d17d4a7b: Verifying Checksum
bbc7d17d4a7b: Download complete
fb4e89a17943: Verifying Checksum
fb4e89a17943: Download complete
d9de62ea8f06: Pull complete
885eefa741f8: Pull complete
c97ceff3cd56: Verifying Checksum
c97ceff3cd56: Download complete
c2f622556afd: Pull complete
4f4466d5ec30: Verifying Checksum
4f4466d5ec30: Download complete
11df0ed87674: Verifying Checksum
11df0ed87674: Download complete
0deaddd419ba: Pull complete
06df7496f4a1: Pull complete
9bee2c951ad1: Pull complete
4f4fb700ef54: Pull complete
25f4c8f7bae4: Verifying Checksum
25f4c8f7bae4: Download complete
d820233a7c33: Download complete
4d27ae7a2d38: Verifying Checksum
4d27ae7a2d38: Download complete
bbc7d17d4a7b: Pull complete
fb4e89a17943: Pull complete
c97ceff3cd56: Pull complete
4f4466d5ec30: Pull complete
3eeff774a957: Download complete
f25c428b4c25: Verifying Checksum
f25c428b4c25: Download complete
11df0ed87674: Pull complete
9b9cb8e4b7df: Verifying Checksum
9b9cb8e4b7df: Download complete
d820233a7c33: Pull complete
25f4c8f7bae4: Pull complete
4d27ae7a2d38: Pull complete
abb195488e38: Verifying Checksum
abb195488e38: Download complete
3eeff774a957: Pull complete
9b9cb8e4b7df: Pull complete
f25c428b4c25: Pull complete
abb195488e38: Pull complete
13834c607cf5: Download complete
221e6e718f16: Verifying Checksum
221e6e718f16: Download complete
cf0c83648f42: Verifying Checksum
cf0c83648f42: Download complete
26f18d1ffd03: Verifying Checksum
26f18d1ffd03: Download complete
bee3dc263b43: Verifying Checksum
bee3dc263b43: Download complete
709166d9dd12: Verifying Checksum
709166d9dd12: Download complete
a52d4e4a40ec: Verifying Checksum
a52d4e4a40ec: Download complete
a017f20dcdf9: Download complete
a096fcf0cd27: Verifying Checksum
a096fcf0cd27: Download complete
5c5234187e7d: Verifying Checksum
5c5234187e7d: Download complete
08e2bd6d8c96: Verifying Checksum
29febc3b1ccd: Verifying Checksum
29febc3b1ccd: Download complete
29febc3b1ccd: Pull complete
ffb76ce33c91: Pull complete
bee3dc263b43: Pull complete
13834c607cf5: Pull complete
221e6e718f16: Pull complete
cf0c83648f42: Pull complete
26f18d1ffd03: Pull complete
709166d9dd12: Pull complete
a52d4e4a40ec: Pull complete
08e2bd6d8c96: Pull complete
a017f20dcdf9: Pull complete
a096fcf0cd27: Pull complete
5c5234187e7d: Pull complete
Digest: sha256:14aa8d44d81433b03f5b94d6b949602c713bef1af4da0373f87f166ff7ee4589
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-10-20 15:26.45 ---> 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-10-20 15:26.45 ---> 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 5bf570252bd9fee71938b828ca0b86573c1e3355"))
2025-10-20 15:26.45 ---> using "5d9060f4a091feeded40d31aa9202099f5985b23d65db7fc416d6b6624552bb7" 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.
2025-10-20 15:26.45 ---> using "7dfd67279a0b6c96fe3527b7ac492da4aa9f97941af43ad023e8984d8100dde1" 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-10-20 15:26.45 ---> using "9ffbd8737131e8580a7020d72085731a70e38df60deef230fec516f1cd6898df" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [207 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-10-20-0805.15-F-2025-10-18-0804.35.pdiff [93.9 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-10-20-0805.15-F-2025-10-18-0804.35.pdiff [93.9 kB]
- Fetched 364 kB in 1s (249 kB/s)
- Reading package lists...
-
2025-10-20 15:26.45 ---> using "7b511f01af1ff6051c4d6b8856ac36a2a419ee6042db9f64d0e9cb36455e167c" 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.20.2
The following actions will be performed:
=== install 1 package
- install dune 3.20.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.20.2 (cached)
-> installed dune.3.20.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-20 15:26.45 ---> using "5e0202fe51159b3d5f4d609c9549391f26061f6a05adcbf57b419d3a8880df4a" 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 mlsolver.1.5\
\nopam install -vy mlsolver.1.5\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: mlsolver.1.5 | 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] mlsolver.1.5 is not installed.
Nothing to do.
The following actions will be performed:
=== install 8 packages
- install cppo 1.8.0 [required by extlib]
- install extlib 1.8.0 [required by mlsolver]
- install minisat 0.6 [required by ocaml-sat-solvers]
- install mlsolver 1.5
- install num 1.6 [required by mlsolver]
- install ocaml-sat-solvers 0.8 [required by mlsolver]
- install pgsolver 4.4 [required by mlsolver]
- install tcs-lib 0.6 [required by mlsolver]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/24: [cppo.1.8.0: extract]
Processing 2/24: [cppo.1.8.0: extract] [extlib.1.8.0: extract]
Processing 3/24: [cppo.1.8.0: extract] [extlib.1.8.0: extract] [minisat.0.6: http]
-> retrieved cppo.1.8.0 (cached)
Processing 3/24: [extlib.1.8.0: extract] [minisat.0.6: http]
Processing 4/24: [extlib.1.8.0: extract] [minisat.0.6: http] [mlsolver.1.5: http]
Processing 5/24: [extlib.1.8.0: extract] [minisat.0.6: http] [mlsolver.1.5: http] [cppo: dune build]
-> retrieved extlib.1.8.0 (cached)
Processing 5/24: [minisat.0.6: http] [mlsolver.1.5: http] [cppo: dune build]
Processing 6/24: [minisat.0.6: http] [mlsolver.1.5: http] [num.1.6: extract] [cppo: dune build]
Processing 6/24: [minisat.0.6: extract] [mlsolver.1.5: http] [num.1.6: extract] [cppo: dune build]
-> retrieved num.1.6 (cached)
Processing 6/24: [minisat.0.6: extract] [mlsolver.1.5: http] [cppo: dune build]
Processing 7/24: [minisat.0.6: extract] [mlsolver.1.5: http] [ocaml-sat-solvers.0.8: http] [cppo: dune build]
Processing 8/24: [minisat.0.6: extract] [mlsolver.1.5: http] [ocaml-sat-solvers.0.8: http] [cppo: dune build] [num: make opam-modern]
-> retrieved minisat.0.6 (https://github.com/c-cube/ocaml-minisat/releases/download/v0.6/minisat-0.6.tbz)
Processing 8/24: [mlsolver.1.5: http] [ocaml-sat-solvers.0.8: http] [cppo: dune build] [num: make opam-modern]
Processing 9/24: [mlsolver.1.5: http] [ocaml-sat-solvers.0.8: http] [pgsolver.4.4: http] [cppo: dune build] [num: make opam-modern]
Processing 10/24: [mlsolver.1.5: http] [ocaml-sat-solvers.0.8: http] [pgsolver.4.4: http] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
Processing 10/24: [mlsolver.1.5: extract] [ocaml-sat-solvers.0.8: http] [pgsolver.4.4: http] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
-> retrieved mlsolver.1.5 (https://github.com/tcsprojects/mlsolver/releases/download/v1.5/mlsolver-1.5.tbz)
Processing 10/24: [ocaml-sat-solvers.0.8: http] [pgsolver.4.4: http] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
Processing 11/24: [ocaml-sat-solvers.0.8: http] [pgsolver.4.4: http] [tcs-lib.0.6: http] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
Processing 11/24: [ocaml-sat-solvers.0.8: extract] [pgsolver.4.4: http] [tcs-lib.0.6: http] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
-> retrieved ocaml-sat-solvers.0.8 (https://github.com/tcsprojects/ocaml-sat-solvers/releases/download/v0.8/ocaml-sat-solvers-0.8.tbz)
Processing 11/24: [pgsolver.4.4: http] [tcs-lib.0.6: http] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
Processing 11/24: [pgsolver.4.4: extract] [tcs-lib.0.6: http] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
Processing 11/24: [pgsolver.4.4: extract] [tcs-lib.0.6: extract] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
-> retrieved tcs-lib.0.6 (https://github.com/tcsprojects/tcslib/releases/download/v0.6/tcs-lib-0.6.tbz)
Processing 11/24: [pgsolver.4.4: extract] [cppo: dune build] [minisat: dune build] [num: make opam-modern]
-> retrieved pgsolver.4.4 (https://github.com/tcsprojects/pgsolver/releases/download/v4.4/pgsolver-4.4.tbz)
Processing 11/24: [cppo: dune build] [minisat: dune build] [num: make opam-modern]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "255" "@install" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/cppo.1.8.0)
-> compiled cppo.1.8.0
Processing 11/24: [minisat: dune build] [num: make opam-modern]
-> installed cppo.1.8.0
Processing 12/24: [minisat: dune build] [num: make opam-modern]
Processing 13/24: [extlib: dune build] [minisat: dune build] [num: make opam-modern]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "PROFILE=release" "opam-modern" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/num.1.6)
- make -C src all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/num.1.6/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.7~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/num.1.6/src'
- cp src/num-modern.install num.install
-> compiled num.1.6
Processing 13/24: [extlib: dune build] [minisat: dune build]
-> installed num.1.6
Processing 14/24: [extlib: dune build] [minisat: dune build]
Processing 15/24: [extlib: dune build] [minisat: dune build] [tcs-lib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "minisat" "-j" "255" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/minisat.0.6)
-> compiled minisat.0.6
Processing 15/24: [extlib: dune build] [tcs-lib: dune build]
-> installed minisat.0.6
Processing 16/24: [extlib: dune build] [tcs-lib: dune build]
Processing 17/24: [extlib: dune build] [ocaml-sat-solvers: dune build] [tcs-lib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "extlib" "-j" "255" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/extlib.1.8.0)
-> compiled extlib.1.8.0
Processing 17/24: [ocaml-sat-solvers: dune build] [tcs-lib: dune build]
-> installed extlib.1.8.0
Processing 18/24: [ocaml-sat-solvers: dune build] [tcs-lib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocaml-sat-solvers" "-j" "255" "@install" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/ocaml-sat-solvers.0.8)
-> compiled ocaml-sat-solvers.0.8
Processing 18/24: [tcs-lib: dune build]
-> installed ocaml-sat-solvers.0.8
Processing 19/24: [tcs-lib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "tcs-lib" "-j" "255" "@install" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/tcs-lib.0.6)
-> compiled tcs-lib.0.6
-> installed tcs-lib.0.6
Processing 21/24: [pgsolver: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "pgsolver" "-j" "255" "@install" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/pgsolver.4.4)
-> compiled pgsolver.4.4
-> installed pgsolver.4.4
Processing 23/24: [mlsolver: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "mlsolver" "-j" "255" "@install" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/mlsolver.1.5)
-> compiled mlsolver.1.5
-> installed mlsolver.1.5
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-20 15:26.55 ---> saved as "91d4d5da7a6ebd212eb34cdda1611e60bb138cca2385bebb450ec977c730b983"
Job succeeded
Home|Differences with the last checks|Previous runs