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


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
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 07:11.42 ---> 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 07:11.42 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 07:11.42 ---> using "b0c8000718557b8df6d1174db7450577d3e662bdcbef702258ae014f9d274c4a" 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 07:11.42 ---> using "ffa3c56d541ad61e0ad7a929f22642bbc60b6f0af5a2de19fe22937eb35228af" from cache

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

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

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1  (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14) to update the current shell environment
2023-11-18 07:11.42 ---> using "bb7053fe2789bd1551358b92e535b7a1e2217220f32a25817d4f7b82aa88f659" 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 1s (219 kB/s)
- Reading package lists...
2023-11-18 07:11.42 ---> using "4e547f90287dcc2fdb913790b309d28d6c7f7b603f490cb20f991ac5c0c40043" from cache

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

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

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

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/13:
Processing  2/13:
Processing  3/13:
-> retrieved lambda.0.1.7  (cached)
-> retrieved menhir.20230608, menhirLib.20230608, menhirSdk.20230608  (cached)
-> retrieved dune.3.11.1  (cached)
Processing  4/13: [dune: ocaml 255]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/4.14/.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 255
- 

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" "255" (CWD=/home/opam/.opam/4.14/.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" "menhirSdk" "-j" "255" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhirSdk.20230608)
-> compiled  menhirSdk.20230608
Processing  7/13: [menhirLib: dune build]
-> installed menhirSdk.20230608
Processing  8/13: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "255" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhirLib.20230608)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled  menhirLib.20230608
-> installed menhirLib.20230608
Processing 10/13: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/4.14/.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: [lambda: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "lambda" "-j" "255" (CWD=/home/opam/.opam/4.14/.opam-switch/build/lambda.0.1.7)
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.lambda.objs/byte -intf-suffix .ml -no-alias-deps -open Lambda -o src/.lambda.objs/byte/lambda__L.cmo -c -impl src/l.ml)
- File "src/l.ml", lines 72-78, characters 23-64:
- 72 | .......................match t with
- 73 |     Var y -> if x=y then t' else Var y
- 74 |   | App(t0,t1) -> App(subst x t' t0, subst x t' t1)
- 75 |   | Abs(y,t0) when y=x -> Abs(x,t0)
- 76 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst x t' t0)
- 77 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
- 78 |       let z = gensym() in Abs(z,subst x t' (subst z (Var y) t0))..
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Abs _
- (However, some guarded clause may match this value.)
- File "src/l.ml", lines 104-107, characters 53-81:
- 104 | .....................................................match t with
- 105 |     Abs(x,t') -> Abs(x,reduce1 t')
- 106 |   | App(Abs(x,t0),t1) -> subst x t1 t0 
- 107 |   | App(t0,t1) -> if has_redex t0 then App(reduce1 t0,t1) else App(t0,reduce1 t1)..
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Var _
- File "src/l.ml", lines 122-128, characters 51-78:
- 122 | ...................................................match t with
- 123 |     Var y -> if x=y then t' else Var y
- 124 |   | App(t0,t1) -> App(subst' x t' t0 (n'-1), subst' x t' t1 (n'-1))
- 125 |   | Abs(y,t0) when y=x -> Abs(x,t0)
- 126 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst' x t' t0 (n'-1))
- 127 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
- 128 |     let z = gensym() in Abs(z,subst' x t' (subst' z (Var y) t0 (n'-1)) (n'-1))
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Abs _
- (However, some guarded clause may match this value.)
- File "src/l.ml", lines 130-133, characters 69-97:
- 130 | .....................................................................match t with
- 131 |     Abs(x,t') -> Abs(x,reduce1' t' (n'-1))
- 132 |   | App(Abs(x,t0),t1) -> subst' x t1 t0 (n'-1)
- 133 |   | App(t0,t1) -> if has_redex t0 then App(reduce1' t0 (n'-1),t1) else App(t0,reduce1' t1 (n'-1))
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Var _
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.lambda.objs/byte -intf-suffix .ml -no-alias-deps -open Lambda -o src/.lambda.objs/byte/lambda__Church.cmo -c -impl src/church.ml)
- File "src/church.ml", lines 19-22, characters 21-20:
- 19 | .....................match t with
- 20 |     App(Var f, inner) -> App(Var "f", convin inner)
- 21 |   | App(Var f, Var x) -> App(Var "f", Var "x")
- 22 |   | Var x -> Var "x"
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- App ((Abs _|App (_, _)), _)
- File "src/church.ml", line 21, characters 4-21:
- 21 |   | App(Var f, Var x) -> App(Var "f", Var "x")
-          ^^^^^^^^^^^^^^^^^
- Warning 11 [redundant-case]: this match case is unused.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -intf-suffix .ml -no-alias-deps -open Lambda -o src/.lambda.objs/native/lambda__L.cmx -c -impl src/l.ml)
- File "src/l.ml", lines 72-78, characters 23-64:
- 72 | .......................match t with
- 73 |     Var y -> if x=y then t' else Var y
- 74 |   | App(t0,t1) -> App(subst x t' t0, subst x t' t1)
- 75 |   | Abs(y,t0) when y=x -> Abs(x,t0)
- 76 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst x t' t0)
- 77 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
- 78 |       let z = gensym() in Abs(z,subst x t' (subst z (Var y) t0))..
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Abs _
- (However, some guarded clause may match this value.)
- File "src/l.ml", lines 104-107, characters 53-81:
- 104 | .....................................................match t with
- 105 |     Abs(x,t') -> Abs(x,reduce1 t')
- 106 |   | App(Abs(x,t0),t1) -> subst x t1 t0 
- 107 |   | App(t0,t1) -> if has_redex t0 then App(reduce1 t0,t1) else App(t0,reduce1 t1)..
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Var _
- File "src/l.ml", lines 122-128, characters 51-78:
- 122 | ...................................................match t with
- 123 |     Var y -> if x=y then t' else Var y
- 124 |   | App(t0,t1) -> App(subst' x t' t0 (n'-1), subst' x t' t1 (n'-1))
- 125 |   | Abs(y,t0) when y=x -> Abs(x,t0)
- 126 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst' x t' t0 (n'-1))
- 127 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
- 128 |     let z = gensym() in Abs(z,subst' x t' (subst' z (Var y) t0 (n'-1)) (n'-1))
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Abs _
- (However, some guarded clause may match this value.)
- File "src/l.ml", lines 130-133, characters 69-97:
- 130 | .....................................................................match t with
- 131 |     Abs(x,t') -> Abs(x,reduce1' t' (n'-1))
- 132 |   | App(Abs(x,t0),t1) -> subst' x t1 t0 (n'-1)
- 133 |   | App(t0,t1) -> if has_redex t0 then App(reduce1' t0 (n'-1),t1) else App(t0,reduce1' t1 (n'-1))
- Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Var _
[ERROR] The compilation of lambda.0.1.7 failed at "dune build -p lambda -j 255".

#=== ERROR while compiling lambda.0.1.7 =======================================#
# context              2.2.0~alpha3 | linux/x86_64 | ocaml-base-compiler.4.14.1 | file:///home/opam/opam-repository
# path                 ~/.opam/4.14/.opam-switch/build/lambda.0.1.7
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p lambda -j 255
# exit-code            1
# env-file             ~/.opam/log/lambda-8-db21c3.env
# output-file          ~/.opam/log/lambda-8-db21c3.out
### output ###
# (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.lambda.objs/byte -intf-suffix .ml -no-alias-deps -open Lambda -o src/.lambda.objs/byte/lambda__L.cmo -c -impl src/l.ml)
# File "src/l.ml", lines 72-78, characters 23-64:
# 72 | .......................match t with
# 73 |     Var y -> if x=y then t' else Var y
# 74 |   | App(t0,t1) -> App(subst x t' t0, subst x t' t1)
# 75 |   | Abs(y,t0) when y=x -> Abs(x,t0)
# 76 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst x t' t0)
# 77 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
# 78 |       let z = gensym() in Abs(z,subst x t' (subst z (Var y) t0))..
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Abs _
# (However, some guarded clause may match this value.)
# File "src/l.ml", lines 104-107, characters 53-81:
# 104 | .....................................................match t with
# 105 |     Abs(x,t') -> Abs(x,reduce1 t')
# 106 |   | App(Abs(x,t0),t1) -> subst x t1 t0 
# 107 |   | App(t0,t1) -> if has_redex t0 then App(reduce1 t0,t1) else App(t0,reduce1 t1)..
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Var _
# File "src/l.ml", lines 122-128, characters 51-78:
# 122 | ...................................................match t with
# 123 |     Var y -> if x=y then t' else Var y
# 124 |   | App(t0,t1) -> App(subst' x t' t0 (n'-1), subst' x t' t1 (n'-1))
# 125 |   | Abs(y,t0) when y=x -> Abs(x,t0)
# 126 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst' x t' t0 (n'-1))
# 127 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
# 128 |     let z = gensym() in Abs(z,subst' x t' (subst' z (Var y) t0 (n'-1)) (n'-1))
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Abs _
# (However, some guarded clause may match this value.)
# File "src/l.ml", lines 130-133, characters 69-97:
# 130 | .....................................................................match t with
# 131 |     Abs(x,t') -> Abs(x,reduce1' t' (n'-1))
# 132 |   | App(Abs(x,t0),t1) -> subst' x t1 t0 (n'-1)
# 133 |   | App(t0,t1) -> if has_redex t0 then App(reduce1' t0 (n'-1),t1) else App(t0,reduce1' t1 (n'-1))
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Var _
# (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.lambda.objs/byte -intf-suffix .ml -no-alias-deps -open Lambda -o src/.lambda.objs/byte/lambda__Church.cmo -c -impl src/church.ml)
# File "src/church.ml", lines 19-22, characters 21-20:
# 19 | .....................match t with
# 20 |     App(Var f, inner) -> App(Var "f", convin inner)
# 21 |   | App(Var f, Var x) -> App(Var "f", Var "x")
# 22 |   | Var x -> Var "x"
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# App ((Abs _|App (_, _)), _)
# File "src/church.ml", line 21, characters 4-21:
# 21 |   | App(Var f, Var x) -> App(Var "f", Var "x")
#          ^^^^^^^^^^^^^^^^^
# Warning 11 [redundant-case]: this match case is unused.
# (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -intf-suffix .ml -no-alias-deps -open Lambda -o src/.lambda.objs/native/lambda__L.cmx -c -impl src/l.ml)
# File "src/l.ml", lines 72-78, characters 23-64:
# 72 | .......................match t with
# 73 |     Var y -> if x=y then t' else Var y
# 74 |   | App(t0,t1) -> App(subst x t' t0, subst x t' t1)
# 75 |   | Abs(y,t0) when y=x -> Abs(x,t0)
# 76 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst x t' t0)
# 77 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
# 78 |       let z = gensym() in Abs(z,subst x t' (subst z (Var y) t0))..
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Abs _
# (However, some guarded clause may match this value.)
# File "src/l.ml", lines 104-107, characters 53-81:
# 104 | .....................................................match t with
# 105 |     Abs(x,t') -> Abs(x,reduce1 t')
# 106 |   | App(Abs(x,t0),t1) -> subst x t1 t0 
# 107 |   | App(t0,t1) -> if has_redex t0 then App(reduce1 t0,t1) else App(t0,reduce1 t1)..
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Var _
# File "src/l.ml", lines 122-128, characters 51-78:
# 122 | ...................................................match t with
# 123 |     Var y -> if x=y then t' else Var y
# 124 |   | App(t0,t1) -> App(subst' x t' t0 (n'-1), subst' x t' t1 (n'-1))
# 125 |   | Abs(y,t0) when y=x -> Abs(x,t0)
# 126 |   | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst' x t' t0 (n'-1))
# 127 |   | Abs(y,t0) when y!=x && member y (fv t') -> 
# 128 |     let z = gensym() in Abs(z,subst' x t' (subst' z (Var y) t0 (n'-1)) (n'-1))
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Abs _
# (However, some guarded clause may match this value.)
# File "src/l.ml", lines 130-133, characters 69-97:
# 130 | .....................................................................match t with
# 131 |     Abs(x,t') -> Abs(x,reduce1' t' (n'-1))
# 132 |   | App(Abs(x,t0),t1) -> subst' x t1 t0 (n'-1)
# 133 |   | App(t0,t1) -> if has_redex t0 then App(reduce1' t0 (n'-1),t1) else App(t0,reduce1' t1 (n'-1))
# Error (warning 8 [partial-match]): this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Var _



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build lambda 0.1.7
+- 
+- 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.14/.opam-switch/backup/state-20231118071143.export"
'opam install -vy lambda.0.1.7' failed.
"/usr/bin/env" "bash" "-c" "
opam remove -y "lambda.0.1.7"
opam install -vy "lambda.0.1.7"
res=$?
if [ $res = 31 ]; then
    if opam show -f x-ci-accept-failures: "lambda.0.1.7" | 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