2026-09-03 20:09.10: New job: build asli.0.2.0 (84095bd89699)
2026-09-03 20:09.10: Waiting for resource in pool day11-builds
2026-09-03 22:03.11: Got resource from pool day11-builds
2026-09-03 22:03.11: [profile full] build asli.0.2.0
2026-09-03 22:03.11: build asli.0.2.0 (84095bd89699)
=== DEPENDENCIES (21 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  conf-c++.1.0                                       a252a2c8d274
  conf-gmp.5                                         eac5259e412f
  conf-pkg-config.5                                  74f50f3cfe72
  conf-python-3.9.0.0                                c8ed77e42b03
  dune.3.24.2                                        bf83cdf0a904
  linenoise.1.5.1                                    98aed668de5f
  menhir.20260209                                    b5ea77665ed0
  menhirCST.20260209                                 fdf00709dc1b
  menhirGLR.20260209                                 e8065dac32e6
  menhirLib.20260209                                 588b502bc771
  menhirSdk.20260209                                 8571405b07e4
  ocaml.4.14.4                                       c7d6265b51fe
  ocaml-base-compiler.4.14.4                         7a409b6ffbef
  ocaml-config.2                                     85edea6ac168
  ocamlfind.1.9.8                                    3cae95bed0a0
  ott.0.30                                           0c5a7c6b9a90
  pprint.20211129                                    72697b35c42a
  z3.4.16.0                                          b438f12e90cd
  zarith.1.14                                        fc3f7a60e6b3
=== STDOUT ===
Processing: [default: loading data]
[asli.0.2.0: dl]
[asli.0.2.0: extract]
-> retrieved asli.0.2.0  (https://opam.ocaml.org/cache)
[asli: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "asli" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/asli.0.2.0)
- (cd _build/default/libASL && /home/opam/.opam/default/bin/ott -aux_style_rules false -tex_wrap true -quotient_rules false -i asl.ott -o asl_parser_head.mly -o asl_lexer.mll -o asl_ast.ml)
- Ott version 0.30   distribution of Sun 24 Nov 2019 21:57:16 CET
- (cd _build/default && /home/opam/.opam/default/bin/menhir libASL/asl_parser.mly --base libASL/asl_parser --infer-write-query libASL/asl_parser__mock.ml.mock)
- File "libASL/asl_parser.mly", line 124, characters 14-18:
- Warning: the token EOL2 is unused.
- File "libASL/asl_parser.mly", line 748, characters 0-11:
- Warning: symbol dummy_binop is unreachable from any of the start symbols.
- File "libASL/asl_parser.mly", line 786, characters 0-10:
- Warning: symbol expr_spice is unreachable from any of the start symbols.
- File "libASL/asl_parser.mly", line 152, characters 0-1:
- Warning: symbol l is unreachable from any of the start symbols.
- File "libASL/asl_parser.mly", line 522, characters 0-11:
- Warning: symbol lexpr_spice is unreachable from any of the start symbols.
- File "libASL/asl_parser.mly", line 488, characters 0-14:
- Warning: symbol nonempty_block is unreachable from any of the start symbols.
- File "libASL/asl_parser.mly", line 366, characters 0-8:
- Warning: symbol operator is unreachable from any of the start symbols.
- File "libASL/asl_parser.mly", line 570, characters 0-10:
- Warning: symbol stmt_spice is unreachable from any of the start symbols.
- File "libASL/asl_parser.mly", line 682, characters 0-5:
- Warning: symbol zexpr is unreachable from any of the start symbols.
-> compiled  asli.0.2.0
-> installed asli.0.2.0
[WARNING] Opam packages conf-gmp.5 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libgmp-dev pkg-config
  - conf-gmp.5: depends on libgmp-dev
  - conf-pkg-config.5: depends on pkg-config

=== STDERR ===

2026-09-03 22:03.37: OK: build asli.0.2.0 (runc: 10.1s, disk: 9KB)
2026-09-03 22:03.37: Job succeeded