OCamllabs icon Home|Differences with the last checks|Previous runs


Building on c2-3.equinix.ci.dev

(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
384752546542: Pulling fs layer
384752546542: Verifying Checksum
384752546542: Download complete
384752546542: Pull complete
Digest: sha256:fcf3121263c59a1f7716501e69921b634fac652b1c96757a18e40158f5625013
Status: Downloaded newer image for ocaml/opam:debian-unstable
2023-11-18 21:55.08 ---> 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"))
2023-11-18 21:55.08 ---> using "5a48029448e4c4dcb1058375cea3e3790f5832d398adedd7742173873baea387" 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 2dcd8684f95238ebe345f74fa6b964d42688f5b0"))
2023-11-18 21:55.08 ---> using "93424a44d975e7545eaad39b0269c041f3918f3ead58155b9be321cfcf49e489" 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.

2023-11-18 21:55.08 ---> using "3aa9808b91111e07a67b721a50741d0f576ab1703fe8a225c7c69c071742d827" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=default '4.10' '4.10.2'"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.10.2"} | "ocaml-system" {= "4.10.2"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.10.2  (https://github.com/ocaml/ocaml/archive/4.10.2.tar.gz)
-> installed ocaml-base-compiler.4.10.2
-> installed ocaml-config.1
-> installed ocaml.4.10.2
Done.
# Run eval $(opam env --switch=4.10) to update the current shell environment
2023-11-18 21:55.08 ---> using "7aff6055d98ab37702712bf8b449b651fe24b0dc15181778df297a5f95e6a6d4" 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-2023-11-17-1403.39-F-2023-11-17-0204.01.pdiff [30.7 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-11-17-1403.39-F-2023-11-17-0204.01.pdiff [30.7 kB]
- Fetched 292 kB in 2s (148 kB/s)
- Reading package lists...
2023-11-18 21:55.08 ---> using "5507892b0bc3ea8355565321536395e75b1eaba96ce3d2a0b7c16bf536ea1f52" from cache

/: (env OCAMLPARAM warn-error=+8,_)

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"zelus.2.2\"\
               \nopam install -vy \"zelus.2.2\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"zelus.2.2\" | 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] zelus.2.2 is not installed.

Nothing to do.
The following actions will be performed:
=== install 5 packages
  - install dune      3.11.1   [required by zelus]
  - install menhir    20230608 [required by zelus]
  - install menhirLib 20230608 [required by menhir]
  - install menhirSdk 20230608 [required by menhir]
  - install zelus     2.2

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/13:
Processing  2/13:
Processing  3/13: [zelus.2.2: http]
-> retrieved menhir.20230608, menhirLib.20230608, menhirSdk.20230608  (cached)
-> retrieved dune.3.11.1  (cached)
Processing  4/13: [zelus.2.2: http] [dune: ocaml 47]
Processing  4/13: [dune: ocaml 47]
-> retrieved zelus.2.2  (https://github.com/INRIA/zelus/archive/2.2.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/dune.3.11.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 47
- cd _boot && /home/opam/.opam/4.10/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.
- 

Processing  4/13: [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" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/dune.3.11.1)
-> compiled  dune.3.11.1
-> installed dune.3.11.1
Processing  6/13: [menhirLib: dune build]
Processing  7/13: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/menhirLib.20230608)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled  menhirLib.20230608
Processing  7/13: [menhirSdk: dune build]
-> installed menhirLib.20230608
Processing  8/13: [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/menhirSdk.20230608)
-> compiled  menhirSdk.20230608
-> installed menhirSdk.20230608
Processing 10/13: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/menhir.20230608)
- (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 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 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 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 41 out of 96 symbols keep track of their end position.
- The StackLang code contains 3973 instructions in 267 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 101 sample input sentences and 48 error messages.
-> compiled  menhir.20230608
-> installed menhir.20230608
Processing 12/13: [zelus: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.10" (CWD=/home/opam/.opam/4.10/.opam-switch/build/zelus.2.2)
Processing 12/13: [zelus: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "zelus" "-j" "47" "@install" (CWD=/home/opam/.opam/4.10/.opam-switch/build/zelus.2.2)
- (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/match2condition.cmo -c -impl compiler/verif/match2condition.ml)
- File "compiler/verif/match2condition.ml", lines 137-153, characters 2-19:
- 137 | ..match desc with
- 138 |   | Elocal _ | Eglobal _ | Econst _ | Econstr0 _ | Elast _ -> e
- 139 |   | Eapp(app, e_arg, e_list) ->
- 140 |       { e with e_desc = Eapp(app, expression e_arg,
- 141 |                              List.map expression e_list) }
- ...
- 150 |   | Etuple(e_list) ->
- 151 |       { e with e_desc = Etuple(List.map expression e_list) }
- 152 |   | Econstr1 _ | Ematch _ | Eseq _ | Elet _ | Eperiod _ | Eblock _ | Epresent _
- 153 |     -> assert false
- Error (warning 8): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Erecord_with (_, _)
- (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/zlus2lmm.cmo -c -impl compiler/verif/zlus2lmm.ml)
- File "compiler/verif/zlus2lmm.ml", lines 189-209, characters 2-53:
- 189 | ..match desc with
- 190 |   | Elocal(id) -> Llocal(id)
- 191 |   | Eglobal { lname = lid } -> Lglobal(lid)
- 192 |   | Econst(im) -> Lconst(immediate im)
- 193 |   | Econstr0(lid) -> Lconstr0(lid)
- ...
- 206 |   | Etypeconstraint(e, _) -> expression ck e
- 207 |   | Etuple(e_list) -> Ltuple(List.map (expression ck) e_list)
- 208 |   | Ematch _ | Eseq _ | Elet _
- 209 |   | Eperiod _ | Eblock _ | Epresent _ -> assert false
- Error (warning 8): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Erecord_with (_, _)
- File "compiler/verif/zlus2lmm.ml", line 298, characters 11-71:
- 298 | let kind = function | S | AS | A | AD -> A | D -> D | C -> assert false
-                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Error (warning 8): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- P
[ERROR] The compilation of zelus.2.2 failed at "dune build -p zelus -j 47 @install".

#=== ERROR while compiling zelus.2.2 ==========================================#
# context              2.2.0~alpha3 | linux/x86_64 | ocaml-base-compiler.4.10.2 | file:///home/opam/opam-repository
# path                 ~/.opam/4.10/.opam-switch/build/zelus.2.2
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p zelus -j 47 @install
# exit-code            1
# env-file             ~/.opam/log/zelus-8-7bcc1c.env
# output-file          ~/.opam/log/zelus-8-7bcc1c.out
### output ###
# (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/match2condition.cmo -c -impl compiler/verif/match2condition.ml)
# File "compiler/verif/match2condition.ml", lines 137-153, characters 2-19:
# 137 | ..match desc with
# 138 |   | Elocal _ | Eglobal _ | Econst _ | Econstr0 _ | Elast _ -> e
# 139 |   | Eapp(app, e_arg, e_list) ->
# 140 |       { e with e_desc = Eapp(app, expression e_arg,
# 141 |                              List.map expression e_list) }
# ...
# 150 |   | Etuple(e_list) ->
# 151 |       { e with e_desc = Etuple(List.map expression e_list) }
# 152 |   | Econstr1 _ | Ematch _ | Eseq _ | Elet _ | Eperiod _ | Eblock _ | Epresent _
# 153 |     -> assert false
# Error (warning 8): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Erecord_with (_, _)
# (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/zlus2lmm.cmo -c -impl compiler/verif/zlus2lmm.ml)
# File "compiler/verif/zlus2lmm.ml", lines 189-209, characters 2-53:
# 189 | ..match desc with
# 190 |   | Elocal(id) -> Llocal(id)
# 191 |   | Eglobal { lname = lid } -> Lglobal(lid)
# 192 |   | Econst(im) -> Lconst(immediate im)
# 193 |   | Econstr0(lid) -> Lconstr0(lid)
# ...
# 206 |   | Etypeconstraint(e, _) -> expression ck e
# 207 |   | Etuple(e_list) -> Ltuple(List.map (expression ck) e_list)
# 208 |   | Ematch _ | Eseq _ | Elet _
# 209 |   | Eperiod _ | Eblock _ | Epresent _ -> assert false
# Error (warning 8): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Erecord_with (_, _)
# File "compiler/verif/zlus2lmm.ml", line 298, characters 11-71:
# 298 | let kind = function | S | AS | A | AD -> A | D -> D | C -> assert false
#                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error (warning 8): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# P



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build zelus 2.2
+- 
+- The following changes have been performed
| - install dune      3.11.1
| - install menhir    20230608
| - install menhirLib 20230608
| - install menhirSdk 20230608
+- 
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.10/.opam-switch/backup/state-20231118215512.export"
'opam install -vy zelus.2.2' failed.
"/bin/bash" "-c" "
opam remove -y "zelus.2.2"
opam install -vy "zelus.2.2"
res=$?
if [ $res = 31 ]; then
    if opam show -f x-ci-accept-failures: "zelus.2.2" | grep -q '"debian-unstable"'; then
        echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
        exit 69
    fi
fi


exit $res
" failed with exit status 31
Failed: Build failed