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
Digest: sha256:ddf15bac1fa20047ef1a74f312acfa03eb67216bc7b4dc9eae73336fee957f7c
Status: Downloaded newer image for ocaml/opam:debian-unstable
2026-01-21 09:01.21 ---> saved as "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b"
/: (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"))
2026-01-21 09:01.21 ---> saved as "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7"
/: (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 10a02a697b08f6d78a6c4c2cb9a76136afc7776d"))
2026-01-21 09:02.21 ---> saved as "1e900f095b617695cba731f8ea7d4f181f17d5d2c67a45e910b441ea8b4cc395"
/: (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.
2026-01-21 09:02.36 ---> saved as "dde2ec861d92885e35715529e38f79775c7e8cc633662c811e07abc19e33e887"
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt update && sudo apt install autoconf -y"))
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Get:1 http://deb.debian.org/debian unstable InRelease [187 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-2026-01-21-0800.23-F-2026-01-16-2009.15.pdiff [881 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2026-01-21-0800.23-F-2026-01-16-2009.15.pdiff [881 kB]
Fetched 1131 kB in 3s (400 kB/s)
Reading package lists...
Building dependency tree...
Reading state information...
65 packages can be upgraded. Run 'apt list --upgradable' to see them.
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Reading package lists...
Building dependency tree...
Reading state information...
Solving dependencies...
Installing:
autoconf
Installing dependencies:
automake autotools-dev m4
Suggested packages:
autoconf-archive gnu-standards autoconf-doc libtool gettext m4-doc
Summary:
Upgrading: 0, Installing: 4, Removing: 0, Not Upgrading: 65
Download size: 1757 kB
Space needed: 5333 kB / 135 GB available
Get:1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-3 [878 kB]
Fetched 1757 kB in 0s (32.2 MB/s)
Selecting previously unselected package m4.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20859 files and directories currently installed.)
Preparing to unpack .../archives/m4_1.4.20-2_amd64.deb ...
Unpacking m4 (1.4.20-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.18.1-3_all.deb ...
Unpacking automake (1:1.18.1-3) ...
Setting up m4 (1.4.20-2) ...
Setting up autotools-dev (20240727.1) ...
Setting up autoconf (2.72-3.1) ...
Setting up automake (1:1.18.1-3) ...
update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode
2026-01-21 09:02.42 ---> saved as "1799f973d7e56ed7a0dfa7e98e537e0f6b9380429d423b25c85bd301ff8db70b"
/: (run (network host)
(shell "git clone -q 'https://github.com/oxcaml/opam-repository' ~/'oxcaml' && git -C ~/'oxcaml' checkout -q d26509af1e9232ddaab223c3cab162ecf81e52b8"))
2026-01-21 09:02.44 ---> saved as "2814ab43288df8b068af11359de6c2e85949a3d6e2f2218776bc7c1f9c9af05e"
/: (run (shell "opam repository add --dont-select 'oxcaml' ~/'oxcaml'"))
[oxcaml] Initialised
2026-01-21 09:02.46 ---> saved as "bdd8d3afe8e38fb87653ddbd31aa79956dedc657ba2a251ad8f4ffc25815b952"
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=oxcaml,default '5.2.0+flambda2' '5.2.0+ox'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "5.2.0+ox"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> installed conf-autoconf.0.2
-> installed conf-which.1
-> retrieved ocaml-config.3 (2 extra sources)
-> retrieved ocaml-config.3 (2 extra sources)
-> retrieved ocaml-variants.5.2.0+ox (https://github.com/oxcaml/oxcaml/archive/refs/tags/5.2.0minus-25.tar.gz)
-> installed ocaml-variants.5.2.0+ox
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.2.0+flambda2)
2026-01-21 09:13.28 ---> saved as "c4b13ec5d9609bce0206ed1cb5e5f4bc921db329ec3c9213ee27bd3b03bde010"
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian unstable InRelease
- Reading package lists...
2026-01-21 09:13.29 ---> saved as "9beb6678510458dab111501a44a02ca68362c4f008cca5d48cc74c2c94ccf823"
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y arrakis.1.1.1\
\nopam install -vy arrakis.1.1.1\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: arrakis.1.1.1 | 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"))
Nothing to do.
[NOTE] arrakis.1.1.1 is not installed.
The following actions will be performed:
=== install 6 packages
- install arrakis 1.1.1
- install dune 3.21.0+ox [required by arrakis]
- install menhir 20250912 [required by arrakis]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirSdk 20250912 [required by menhir]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/15: [arrakis.1.1.1: extract]
Processing 2/15: [arrakis.1.1.1: extract] [dune.3.21.0+ox: extract]
Processing 3/15: [arrakis.1.1.1: extract] [dune.3.21.0+ox: extract] [menhir.20250912 + 3 others: extract]
-> retrieved arrakis.1.1.1 (cached)
Processing 3/15: [dune.3.21.0+ox: extract] [menhir.20250912 + 3 others: extract]
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
Processing 3/15: [dune.3.21.0+ox: extract]
-> retrieved dune.3.21.0+ox (cached)
[dune: patch] applying oxcaml-dune.patch
Processing 4/15: [dune: ocaml 71]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "71" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/dune.3.21.0+ox)
- ocamlc -output-complete-exe -intf-suffix .dummy -g -o .duneboot.exe -I boot -I +unix unix.cma boot/types.ml boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 71
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads lmdb__Lmdb_bindings.ml
- File "lmdb__Lmdb_bindings.ml", line 64, characters 2-29:
- 64 | Callback.register_exception "LmdbExists" Exists;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register_exception
- Use [Callback.Safe.register_exception].
-
- File "lmdb__Lmdb_bindings.ml", line 65, characters 2-29:
- 65 | Callback.register_exception "LmdbError" (Error 0);
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register_exception
- Use [Callback.Safe.register_exception].
-
- File "lmdb__Lmdb_bindings.ml", line 66, characters 2-29:
- 66 | Callback.register_exception "LmdbMapFull" (Map_full);
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register_exception
- Use [Callback.Safe.register_exception].
-
- File "lmdb__Lmdb_bindings.ml", line 67, characters 2-27:
- 67 | Printexc.register_printer @@ begin function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads stdune__Code_error.ml
- File "stdune__Code_error.ml", line 30, characters 2-27:
- 30 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads notty_unix.ml
- File "notty_unix.ml", line 38, characters 23-29:
- 38 | let old_hdl = Sys.(signal signum (Signal_handle (fun _ -> f ()))) in
- ^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.signal
- Use [Sys.Safe.signal].
-
- File "notty_unix.ml", line 39, characters 31-45:
- 39 | `Revert (once @@ fun () -> Sys.set_signal signum old_hdl)
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads stdune__User_error.ml
- File "stdune__User_error.ml", line 18, characters 2-27:
- 18 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads opamStd.ml
- File "opamStd.ml", line 958, characters 10-24:
- 958 | try Sys.set_signal 28 (* SIGWINCH *)
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
-
- File "opamStd.ml", line 1407, characters 4-15:
- 1407 | Unix.putenv "HOME" dir;
- ^^^^^^^^^^^
- Alert unsafe_multidomain: Unix.putenv
- Mutating the environment makes reading the environment unsafe.
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_rpc_private__Conv.ml
- File "dune_rpc_private__Conv.ml", line 49, characters 2-27:
- 49 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_rpc_private__Where.ml
- File "dune_rpc_private__Where.ml", line 23, characters 2-27:
- 23 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_rpc_private__Types.ml
- File "dune_rpc_private__Types.ml", line 155, characters 6-31:
- 155 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_rpc_private__Registry.ml
- File "dune_rpc_private__Registry.ml", line 68, characters 4-29:
- 68 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_rpc_private__Versioned.ml
- File "dune_rpc_private__Versioned.ml", line 24, characters 4-29:
- 24 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads opamSystem.ml
- File "opamSystem.ml", line 1248, characters 2-27:
- 1248 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
-
- File "opamSystem.ml", line 1264, characters 6-20:
- 1264 | try Sys.set_signal Sys.sigpipe (Sys.Signal_handle (fun _ -> ()))
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Sys.set_signal
- Use [Sys.Safe.set_signal].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads memo.ml
- File "memo.ml", line 415, characters 2-27:
- 415 | Printexc.register_printer (fun exn ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_rpc_private.ml
- File "dune_rpc_private.ml", line 176, characters 6-31:
- 176 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_rpc_server.ml
- File "dune_rpc_server.ml", line 15, characters 2-27:
- 15 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_engine__Scheduler.ml
- File "dune_engine__Scheduler.ml", line 55, characters 4-29:
- 55 | Printexc.register_printer (function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
-
- File "dune_engine__Scheduler.ml", line 631, characters 6-20:
- 631 | Sys.set_signal
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Dune_engine__.Import.Sys.set_signal
- Use [Sys.Safe.set_signal].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads opamPp.ml
- File "opamPp.ml", line 64, characters 9-34:
- 64 | let () = Printexc.register_printer @@ function
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Printexc.register_printer
- Use [Printexc.Safe.register_printer].
- cd _boot && /home/opam/.opam/5.2.0+flambda2/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-23-53 -alert -unstable -I +unix -I +threads dune_tui.ml
- File "dune_tui.ml", line 15, characters 7-21:
- 15 | Sys.set_signal Sys.sigcont
- ^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Dune_tui__.Import.Sys.set_signal
- Use [Sys.Safe.set_signal].
-
- File "dune_tui.ml", line 23, characters 12-22:
- 23 | (Sys.signal Sys.sigtstp
- ^^^^^^^^^^
- Alert unsafe_multidomain: Dune_tui__.Import.Sys.signal
- Use [Sys.Safe.signal].
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" "71" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/dune.3.21.0+ox)
-> compiled dune.3.21.0+ox
-> installed dune.3.21.0+ox
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" "71" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/menhirCST.20250912)
-> compiled menhirCST.20250912
Processing 8/15: [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirCST.20250912
Processing 9/15: [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.2.0+flambda2/.opam-switch/build/menhirSdk.20250912)
-> compiled menhirSdk.20250912
Processing 9/15: [menhirLib: dune build]
-> installed menhirSdk.20250912
Processing 10/15: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "71" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/menhirLib.20250912)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20250912
-> installed menhirLib.20250912
Processing 12/15: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "71" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/menhir.20250912)
- (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.20250912
-> installed menhir.20250912
Processing 14/15: [arrakis: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "arrakis" "-j" "71" "@install" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/arrakis.1.1.1)
-> compiled arrakis.1.1.1
-> installed arrakis.1.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-21 09:20.45 ---> saved as "2b621c2f2bb4d79fb500f8494fb60f438ceb1d7b4af55dab46991b6a6328897e"
Job succeeded
Home|Differences with the last checks|Previous runs