Building on toxis.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
f6fae32d1855: Pulling fs layer
2b6b54cb75df: Pulling fs layer
7f4f75d80dc4: Pulling fs layer
86f2c2d376f7: Pulling fs layer
5fce5bf93f18: Pulling fs layer
91d6c59c3ffe: Pulling fs layer
9780bb50741d: Pulling fs layer
51f01f04294b: Pulling fs layer
46b42b345cac: Pulling fs layer
1dd5551ce92c: Pulling fs layer
5fce5bf93f18: Waiting
91d6c59c3ffe: Waiting
55008ed07edc: Pulling fs layer
c1e792eee16f: Pulling fs layer
46b42b345cac: Waiting
9780bb50741d: Waiting
b2a816a70be2: Pulling fs layer
64b40eba7a69: Pulling fs layer
51f01f04294b: Waiting
1dd5551ce92c: Waiting
11491332e35e: Pulling fs layer
c1e792eee16f: Waiting
b2a816a70be2: Waiting
3314a0772c11: Pulling fs layer
86f2c2d376f7: Waiting
9ba5ca987e73: Pulling fs layer
a5233de9b1e5: Pulling fs layer
9ba5ca987e73: Waiting
bc6dd62b0adb: Pulling fs layer
17089b4923c4: Pulling fs layer
4dc2bdc414fd: Pulling fs layer
4f4fb700ef54: Pulling fs layer
17089b4923c4: Waiting
1778f929414c: Pulling fs layer
bc6dd62b0adb: Waiting
11491332e35e: Waiting
21b3034f3560: Pulling fs layer
4dc2bdc414fd: Waiting
abe40b09cbf3: Pulling fs layer
a5233de9b1e5: Waiting
1b0f9717b4f3: Pulling fs layer
21b3034f3560: Waiting
46bab8457678: Pulling fs layer
f75badf20e81: Pulling fs layer
1b0f9717b4f3: Waiting
92b4348edd65: Pulling fs layer
f8b463772393: Pulling fs layer
f75badf20e81: Waiting
dad7d278149c: Pulling fs layer
0ef56c176f19: Pulling fs layer
3fe17d841d7c: Pulling fs layer
92b4348edd65: Waiting
f8b463772393: Waiting
dad7d278149c: Waiting
cc682b2328b3: Pulling fs layer
0ef56c176f19: Waiting
cb04b5db3fe0: Pulling fs layer
3fe17d841d7c: Waiting
cc682b2328b3: Waiting
7951eb285fe1: Pulling fs layer
8eddfc5be3a8: Pulling fs layer
fe0095345d4c: Pulling fs layer
8eddfc5be3a8: Waiting
c76cecb20b59: Pulling fs layer
fe0095345d4c: Waiting
375b1046045f: Pulling fs layer
92c985427cd1: Pulling fs layer
f7d3b985b1ba: Pulling fs layer
375b1046045f: Waiting
7c6e6b052f9d: Pulling fs layer
92c985427cd1: Waiting
e92f54e86812: Pulling fs layer
f8805f233c2e: Pulling fs layer
83373b952d2c: Pulling fs layer
663dc85a117d: Pulling fs layer
663dc85a117d: Waiting
7f4f75d80dc4: Download complete
2b6b54cb75df: Verifying Checksum
2b6b54cb75df: Download complete
5fce5bf93f18: Verifying Checksum
5fce5bf93f18: Download complete
f6fae32d1855: Verifying Checksum
f6fae32d1855: Download complete
9780bb50741d: Verifying Checksum
9780bb50741d: Download complete
86f2c2d376f7: Verifying Checksum
86f2c2d376f7: Download complete
f6fae32d1855: Pull complete
2b6b54cb75df: Pull complete
7f4f75d80dc4: Pull complete
46b42b345cac: Verifying Checksum
46b42b345cac: Download complete
86f2c2d376f7: Pull complete
5fce5bf93f18: Pull complete
1dd5551ce92c: Verifying Checksum
1dd5551ce92c: Download complete
55008ed07edc: Verifying Checksum
55008ed07edc: Download complete
51f01f04294b: Verifying Checksum
51f01f04294b: Download complete
c1e792eee16f: Verifying Checksum
c1e792eee16f: Download complete
64b40eba7a69: Download complete
11491332e35e: Verifying Checksum
11491332e35e: Download complete
3314a0772c11: Verifying Checksum
3314a0772c11: Download complete
b2a816a70be2: Verifying Checksum
b2a816a70be2: Download complete
a5233de9b1e5: Download complete
9ba5ca987e73: Verifying Checksum
9ba5ca987e73: Download complete
17089b4923c4: Verifying Checksum
17089b4923c4: Download complete
bc6dd62b0adb: Verifying Checksum
bc6dd62b0adb: Download complete
4f4fb700ef54: Download complete
1778f929414c: Verifying Checksum
1778f929414c: Download complete
4dc2bdc414fd: Verifying Checksum
4dc2bdc414fd: Download complete
21b3034f3560: Verifying Checksum
21b3034f3560: Download complete
abe40b09cbf3: Verifying Checksum
abe40b09cbf3: Download complete
1b0f9717b4f3: Verifying Checksum
1b0f9717b4f3: Download complete
46bab8457678: Verifying Checksum
46bab8457678: Download complete
f75badf20e81: Download complete
92b4348edd65: Verifying Checksum
92b4348edd65: Download complete
f8b463772393: Download complete
dad7d278149c: Verifying Checksum
dad7d278149c: Download complete
0ef56c176f19: Verifying Checksum
0ef56c176f19: Download complete
3fe17d841d7c: Verifying Checksum
3fe17d841d7c: Download complete
cc682b2328b3: Download complete
7951eb285fe1: Verifying Checksum
7951eb285fe1: Download complete
91d6c59c3ffe: Verifying Checksum
91d6c59c3ffe: 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: Verifying Checksum
83373b952d2c: Download complete
663dc85a117d: Verifying Checksum
663dc85a117d: Download complete
cb04b5db3fe0: Verifying Checksum
cb04b5db3fe0: Download complete
91d6c59c3ffe: Pull complete
9780bb50741d: Pull complete
51f01f04294b: Pull complete
46b42b345cac: Pull complete
1dd5551ce92c: Pull complete
55008ed07edc: Pull complete
c1e792eee16f: Pull complete
b2a816a70be2: Pull complete
64b40eba7a69: Pull complete
11491332e35e: Pull complete
3314a0772c11: Pull complete
9ba5ca987e73: Pull complete
a5233de9b1e5: Pull complete
bc6dd62b0adb: Pull complete
17089b4923c4: Pull complete
4dc2bdc414fd: Pull complete
4f4fb700ef54: Pull complete
1778f929414c: Pull complete
21b3034f3560: Pull complete
abe40b09cbf3: Pull complete
1b0f9717b4f3: Pull complete
46bab8457678: Pull complete
f75badf20e81: Pull complete
92b4348edd65: Pull complete
f8b463772393: Pull complete
dad7d278149c: Pull complete
0ef56c176f19: Pull complete
3fe17d841d7c: Pull complete
cc682b2328b3: Pull complete
8eddfc5be3a8: Verifying Checksum
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:05.55 ---> 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:05.55 ---> 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:05.55 ---> 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:05.55 ---> 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:05.55 ---> 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 (258 kB/s)
- Reading package lists...
2025-08-11 15:05.55 ---> 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:05.55 ---> 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 gbddml.2.71.15\
\nopam install -vy gbddml.2.71.15\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: gbddml.2.71.15 | 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] gbddml.2.71.15 is not installed.
Nothing to do.
The following actions will be performed:
=== install 2 packages
- install camlidl 1.13 [required by gbddml]
- install gbddml 2.71.15
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/6: [camlidl.1.13: extract]
Processing 2/6: [camlidl.1.13: extract] [gbddml.2.71.15: extract]
-> retrieved camlidl.1.13 (cached)
Processing 2/6: [gbddml.2.71.15: extract]
Processing 3/6: [gbddml.2.71.15: extract] [camlidl: mv]
-> retrieved gbddml.2.71.15 (cached)
Processing 3/6: [camlidl: mv]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "mv" "config/Makefile.unix" "config/Makefile" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13)
Processing 3/6: [camlidl: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13)
- cd compiler; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/compiler'
- rm -f config.ml
- sed -e 's|%%CPP%%|cpp|' \
- config.mlp > config.ml
- chmod -w config.ml
- ocamlc -g -c config.mli
- ocamlc -g -c config.ml
- ocamlc -g -c utils.mli
- ocamlc -g -c utils.ml
- ocamlc -g -c clflags.ml
- ocamlc -g -c idltypes.mli
- ocamlc -g -c prefix.mli
- ocamlc -g -c prefix.ml
- ocamlc -g -c lexpr.mli
- ocamlc -g -c lexpr.ml
- ocamlc -g -c cvttyp.mli
- ocamlc -g -c cvttyp.ml
- ocamlc -g -c variables.mli
- ocamlc -g -c variables.ml
- ocamlc -g -c idlarray.mli
- ocamlc -g -c idlarray.ml
- ocamlc -g -c struct.mli
- ocamlc -g -c struct.ml
- ocamlc -g -c enum.mli
- ocamlc -g -c enum.ml
- ocamlc -g -c union.mli
- ocamlc -g -c union.ml
- ocamlc -g -c cvtval.mli
- ocamlc -g -c cvtval.ml
- ocamlc -g -c structdecl.mli
- ocamlc -g -c structdecl.ml
- ocamlc -g -c enumdecl.mli
- ocamlc -g -c enumdecl.ml
- ocamlc -g -c uniondecl.mli
- ocamlc -g -c uniondecl.ml
- ocamlc -g -c typedef.mli
- ocamlc -g -c typedef.ml
- ocamlc -g -c funct.mli
- ocamlc -g -c funct.ml
- ocamlc -g -c constdecl.mli
- ocamlc -g -c constdecl.ml
- ocamlc -g -c intf.mli
- ocamlc -g -c intf.ml
- ocamlc -g -c file.mli
- ocamlc -g -c file.ml
- ocamlc -g -c predef.mli
- ocamlc -g -c predef.ml
- ocamllex linenum.mll
- 16 states, 331 transitions, table size 1420 bytes
- ocamlc -g -c linenum.mli
- ocamlc -g -c linenum.ml
- ocamlc -g -c parse_aux.mli
- ocamlc -g -c parse_aux.ml
- ocamlyacc -v parser_midl.mly
- 12 shift/reduce conflicts, 4 reduce/reduce conflicts.
- ocamlc -g -c parser_midl.mli
- ocamlc -g -c parser_midl.ml
- ocamllex lexer_midl.mll
- 129 states, 1747 transitions, table size 7762 bytes
- ocamlc -g -c lexer_midl.mli
- ocamlc -g -c lexer_midl.ml
- ocamlc -g -c parse.mli
- ocamlc -g -c parse.ml
- ocamlc -g -c fixlabels.mli
- ocamlc -g -c fixlabels.ml
- ocamlc -g -c normalize.mli
- ocamlc -g -c normalize.ml
- ocamlc -g -c main.ml
- ocamlc -g -o camlidl config.cmo utils.cmo clflags.cmo prefix.cmo lexpr.cmo cvttyp.cmo variables.cmo idlarray.cmo struct.cmo enum.cmo union.cmo cvtval.cmo structdecl.cmo enumdecl.cmo uniondecl.cmo typedef.cmo funct.cmo constdecl.cmo intf.cmo file.cmo predef.cmo linenum.cmo parse_aux.cmo parser_midl.cmo lexer_midl.cmo parse.cmo fixlabels.cmo normalize.cmo main.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/compiler'
- cd runtime; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/runtime'
- ocamlc -g -ccopt "-Wall -g" idlalloc.c
- ocamlc -g -ccopt "-Wall -g" comintf.c
- ocamlc -g -ccopt "-Wall -g" comerror.c
- rm -f dllcamlidl.so
- ocamlmklib -o camlidl idlalloc.o comintf.o comerror.o
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/runtime'
- cd lib; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/lib'
- ocamlc -g -c com.mli
- ocamlc -g -c com.ml
- ocamlc -g -a -o com.cma -dllib -lcamlidl -cclib -lcamlidl com.cmo
- ocamlopt -c com.ml
- ocamlopt -a -o com.cmxa -cclib -lcamlidl com.cmx
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/lib'
- cd tools; make all
- make[1]: Entering directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/tools'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.3-opam/.opam-switch/build/camlidl.1.13/tools'
-> compiled camlidl.1.13
-> installed camlidl.1.13
Processing 5/6: [gbddml: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "gbddml" "-j" "71" (CWD=/home/opam/.opam/5.3-opam/.opam-switch/build/gbddml.2.71.15)
- (cd _build/default/lib/gbddml && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -x c++ -g -O2 -fno-operator-names -fPIC -g -I /home/opam/.opam/5.3-opam/lib/ocaml -I /home/opam/.opam/5.3-opam/lib/camlidl -o gbdd.o -c gbdd.c)
- gbdd.c: In member function 'int GBddMemory::alloc_page()':
- gbdd.c:1143:36: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
- 1143 | register GBddNode* ptr = &(page[1].node);
- | ^~~
- gbdd.c:1144:36: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
- 1144 | register GBddNode* nxt = &(page[2].node);
- | ^~~
- gbdd.c:1145:30: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister]
- 1145 | register int k = size;
- | ^
-> compiled gbddml.2.71.15
-> installed gbddml.2.71.15
Done.
<><> gbddml.2.71.15 installed successfully ><><><><><><><><><><><><><><><><><><>
=> The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
# To update the current shell environment, run: eval $(opam env)
2025-08-11 15:06.12 ---> saved as "a65b283a5ac6cf610300cdebc758afeba80e51cad9d7877517c0219a6e34c109"
Job succeeded
Home|Differences with the last checks|Previous runs