2026-06-16 12:54.48: New job: build lambdapi.2.2.1 (4ae38630fda0)
2026-06-16 12:54.48: Waiting for resource in pool day11-builds
2026-06-16 14:21.05: Got resource from pool day11-builds
2026-06-16 14:21.05: [profile full] build lambdapi.2.2.1
2026-06-16 14:21.05: build lambdapi.2.2.1 (4ae38630fda0)
=== DEPENDENCIES (29 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  bindlib.6.0.0                                      c064bc6b727d
  camlp-streams.5.0.1                                76b76cc9fe05
  cmdliner.1.3.0                                     dad70bc4de20
  conf-autoconf.0.2                                  b3cd190cf0b5
  dune.3.23.1                                        5402470d931c
  gen.1.1                                            a359aeb6b57a
  menhir.20260209                                    949a55ecfabe
  menhirCST.20260209                                 2f7f161ea867
  menhirGLR.20260209                                 88b9413f2126
  menhirLib.20260209                                 33c89da356e0
  menhirSdk.20260209                                 3e7d50160069
  num.1.6                                            480227ca99db
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-compiler-libs.v0.12.4                        d1dd1437b449
  ocaml-config.2                                     669e0fcf9e4d
  ocamlfind.1.9.8                                    6025f4a8e98e
  ppx_derivers.1.2.1                                 441538dbecd1
  ppxlib.0.38.0                                      a3e9cb715835
  pratter.2.0.0                                      56ea6d2c53a7
  sedlex.3.7                                         28a103c28d42
  seq.base                                           063828a3d698
  sexplib0.v0.17.0                                   7af37899b3a0
  stdlib-shims.0.3.0                                 e2dd0beb9112
  timed.1.1                                          449a0fdd1ad3
  why3.1.5.1                                         c507ecd9076a
  yojson.3.0.0                                       7c8ad8b6539f
=== STDOUT ===
Processing: [default: loading data]
[lambdapi.2.2.1: dl]
[lambdapi.2.2.1: extract]
-> retrieved lambdapi.2.2.1  (https://opam.ocaml.org/cache)
[lambdapi: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "lambdapi" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/lambdapi.2.2.1)
-> compiled  lambdapi.2.2.1
-> installed lambdapi.2.2.1

=== STDERR ===

2026-06-16 14:21.36: OK: build lambdapi.2.2.1 (runc: 17.6s, disk: 10KB)
2026-06-16 14:21.36: Job succeeded