Home|Differences with the last checks|Previous runs

Building on ltsc2025-1

(from ocaml/opam:windows-server-mingw-ltsc2025-opam)
2026-03-08 03:05.26 ---> using "63e5ddb9687855d0a0c4c5e0088f813758807605401f3a88b07751088826ddff" from cache

C:/: (user (uid 1000) (gid 1000))

C:/: (env OPAMPRECISETRACKING 1)

C:/: (env OPAMUTF8 never)

C:/: (env OPAMEXTERNALSOLVER builtin-0install)

C:/: (env OPAMCRITERIA +removed)

C:/: (env CI true)

C:/: (env OPAM_HEALTH_CHECK_CI true)

C:/: (run (shell "ln -f /usr/local/bin/opam-dev.exe /usr/local/bin/opam.exe"))
2026-03-08 03:05.26 ---> using "eb751f1617949fccf400da87a349c508e73323f3f0e3482f2cce8c46fbcb6c21" from cache

C:/: (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 31db989bcaf14647d9889b8903120d6202ac37a8"))
2026-03-08 03:05.26 ---> using "ef58fca6f6db70f2bdfd85579892df7c50e047d2e179a3be59dcaa5c5a2d773c" from cache

C:/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))

User configuration:
  Updating ~\.bashrc.
[NOTE] Make sure that ~/.bashrc is well sourced in your ~\.bash_profile.

  Added 9 lines after line 1 in ~\.bashrc.
2026-03-08 03:05.26 ---> using "c700dfaf6f2da6800841bb961abfee8cd8858dee38ab51c0793b149f1795270d" from cache

C:/: (run (cache (opam-archives (target "c:\\opam\\.opam\\download-cache")))
          (network host)
          (shell "opam switch create --repositories=default 'mingw-5.4' '5.4.0'"))

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

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed arch-x86_64.1
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-mingw.1
-> retrieved mingw-w64-shims.0.2.0  (cached)
-> installed conf-mingw-w64-gcc-x86_64.1
-> retrieved flexdll.0.44  (https://github.com/ocaml/flexdll/archive/refs/tags/0.44.tar.gz)
-> installed flexdll.0.44
-> installed ocaml-env-mingw64.1
-> installed ocaml-options-vanilla.1
-> installed system-mingw.1
-> installed mingw-w64-shims.0.2.0
-> retrieved ocaml-config.3  (2 extra sources)
-> retrieved ocaml-config.3  (2 extra sources)
-> retrieved ocaml-compiler.5.4.0  (https://github.com/ocaml/ocaml/releases/download/5.4.0/ocaml-5.4.0.tar.gz)
-> installed ocaml-compiler.5.4.0
-> installed ocaml-base-compiler.5.4.0
-> installed ocaml-config.3
-> installed ocaml.5.4.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=mingw-5.4)
2026-03-08 03:05.26 ---> using "bde3e22405d3d4b8eb936b6a5924016abe757c72ef4284f806d0ffa633cf6608" from cache

C:/: (run (network host)
          (shell "opam update --depexts"))
2026-03-08 03:05.26 ---> using "52107e23401ba5a409505a63e9d96ae2fb84390238c362f7049829fa18c5671f" from cache

C:/: (run (cache (opam-archives (target "c:\\opam\\.opam\\download-cache")))
          (network host)
          (shell  "opam 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 'ocaml/opam:windows-server-mingw-ltsc2025-opam'; 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] lambda.0.1.7 is not installed.

Nothing to do.
The following actions will be performed:
=== install 7 packages
  - install dune      3.21.1   [required by lambda]
  - install lambda    0.1.7
  - install menhir    20260209 [required by lambda]
  - install menhirCST 20260209 [required by menhir]
  - install menhirGLR 20260209 [required by menhir]
  - install menhirLib 20260209 [required by menhir]
  - install menhirSdk 20260209 [required by menhir]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/17: [dune.3.21.1: extract]
Processing  2/17: [dune.3.21.1: extract] [lambda.0.1.7: http]
Processing  3/17: [dune.3.21.1: extract] [lambda.0.1.7: http] [menhir.20260209 + 4 others: extract]
Processing  3/17: [dune.3.21.1: extract] [lambda.0.1.7: extract] [menhir.20260209 + 4 others: extract]
-> retrieved lambda.0.1.7  (https://github.com/dakk/lambda/archive/v0.1.7.tar.gz)
Processing  3/17: [dune.3.21.1: extract] [menhir.20260209 + 4 others: extract]
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209  (cached)
Processing  3/17: [dune.3.21.1: extract]
-> retrieved dune.3.21.1  (cached)
Processing  4/17: [dune: ocaml 15]
+ C:\opam\.opam\mingw-5.4\bin\ocaml.exe "boot/bootstrap.ml" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\dune.3.21.1)
- 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 15
Processing  4/17: [dune: ./_boot/dune.exe build]
+ C:\opam\.opam\mingw-5.4\.opam-switch\build\dune.3.21.1\./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\dune.3.21.1)
-> compiled  dune.3.21.1
-> installed dune.3.21.1
Processing  6/17: [menhirCST: dune build]
Processing  7/17: [menhirCST: dune build] [menhirGLR: dune build]
Processing  8/17: [menhirCST: dune build] [menhirGLR: dune build] [menhirLib: dune build]
Processing  9/17: [menhirCST: dune build] [menhirGLR: dune build] [menhirLib: dune build] [menhirSdk: dune build]
+ C:\opam\.opam\mingw-5.4\bin\dune.exe "build" "-p" "menhirCST" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\menhirCST.20260209)
-> compiled  menhirCST.20260209
Processing  9/17: [menhirGLR: dune build] [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirCST.20260209
Processing 10/17: [menhirGLR: dune build] [menhirLib: dune build] [menhirSdk: dune build]
+ C:\opam\.opam\mingw-5.4\bin\dune.exe "build" "-p" "menhirGLR" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\menhirGLR.20260209)
-> compiled  menhirGLR.20260209
Processing 10/17: [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirGLR.20260209
Processing 11/17: [menhirLib: dune build] [menhirSdk: dune build]
+ C:\opam\.opam\mingw-5.4\bin\dune.exe "build" "-p" "menhirLib" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\menhirLib.20260209)
-> compiled  menhirLib.20260209
Processing 11/17: [menhirSdk: dune build]
-> installed menhirLib.20260209
Processing 12/17: [menhirSdk: dune build]
+ C:\opam\.opam\mingw-5.4\bin\dune.exe "build" "-p" "menhirSdk" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\menhirSdk.20260209)
-> compiled  menhirSdk.20260209
-> installed menhirSdk.20260209
Processing 14/17: [menhir: dune build]
+ C:\opam\.opam\mingw-5.4\bin\dune.exe "build" "-p" "menhir" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\menhir.20260209)
- (cd _build/default/lib/pack && .\pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/driver/stage2 && .bin\menhir --exn-carries-state --no-pager --require-aliases --strict Parser.mly --compare-errors ParserMessages.auto.messages --compare-errors ParserMessages.messages) > _build/default/driver/stage2/ParserMessages.check
- Read 103 sample input sentences and 103 error messages.
- Read 103 sample input sentences and 50 error messages.
- (cd _build/default/driver/stage2 && .bin\menhir --exn-carries-state --no-pager --require-aliases --strict Parser.mly --compile-errors ParserMessages.messages) > _build/default/driver/stage2/ParserMessages.ml
- Read 103 sample input sentences and 50 error messages.
- (cd _build/default && driver\stage2\.bin\menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v driver/stage2/Parser.mly --base driver/stage2/Parser --infer-read-reply driver/stage2/Parser__mock.mli.inferred)
- Grammar has 57 nonterminal symbols, among which 1 start symbols.
- Grammar has 38 terminal symbols.
- Grammar has 132 productions.
- Built an LR(0) automaton with 205 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 314 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.
- 158 out of 314 states have a default reduction.
- 110 out of 314 states are represented.
- 45 out of 98 symbols keep track of their start position.
- 40 out of 98 symbols keep track of their end position.
- The StackLang code contains 4186 instructions in 282 blocks.
- The StackLang code comprises 5 mutually recursive groups.
-> compiled  menhir.20260209
-> installed menhir.20260209
Processing 16/17: [lambda: dune build]
+ C:\opam\.opam\mingw-5.4\bin\dune.exe "build" "-p" "lambda" "-j" "15" (CWD=C:\opam\.opam\mingw-5.4\.opam-switch\build\lambda.0.1.7)
- (cd _build/default && C:\opam\.opam\mingw-5.4\bin\ocamlc.opt.exe -w -40 -g -bin-annot -bin-annot-occurrences -I src/.lambda.objs/byte -cmi-file src/.lambda.objs/byte/lambda__L.cmi -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))..
- 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)..
- 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))
- 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))
- 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 && C:\opam\.opam\mingw-5.4\bin\ocamlc.opt.exe -w -40 -g -bin-annot -bin-annot-occurrences -I src/.lambda.objs/byte -cmi-file src/.lambda.objs/byte/lambda__Church.cmi -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"
- 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 && C:\opam\.opam\mingw-5.4\bin\ocamlopt.opt.exe -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -cmi-file src/.lambda.objs/byte/lambda__L.cmi -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))..
- 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)..
- 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))
- 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))
- 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 && C:\opam\.opam\mingw-5.4\bin\ocamlopt.opt.exe -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -cmi-file src/.lambda.objs/byte/lambda__Church.cmi -no-alias-deps -open Lambda -o src/.lambda.objs/native/lambda__Church.cmx -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"
- 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.
-> compiled  lambda.0.1.7
-> installed lambda.0.1.7
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-08 03:26.18 ---> saved as "207e8aaffcc30ca6dea89fa06f835631a6f2f6ab6299e13f367bcc6b0a9bd030"
Job succeeded