2026-06-20 08:37.43: New job: build pratter.5.0.2 (43289c99dcb5)
2026-06-20 08:37.43: [profile full] build pratter.5.0.2
2026-06-20 08:37.48: build pratter.5.0.2 (43289c99dcb5)
=== DEPENDENCIES (6 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  dune.3.23.1                                        b9e31df96092
  ocaml.5.5.0                                        7bdffd2f55d9
  ocaml-base-compiler.5.5.0                          88ac983b1a28
  ocaml-compiler.5.5.0                               8d77bbea3746
=== STDOUT ===
Processing: [default: loading data]
[pratter.5.0.2: dl]
[pratter.5.0.2: http]
[pratter.5.0.2: extract]
-> retrieved pratter.5.0.2  (https://codeload.github.com/Deducteam/pratter/tar.gz/refs/tags/5.0.2)
[pratter: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "pratter" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/pratter.5.0.2)
-> compiled  pratter.5.0.2
-> installed pratter.5.0.2

=== STDERR ===

2026-06-20 08:37.56: OK: build pratter.5.0.2 (runc: 3.6s, disk: 5KB)
2026-06-20 08:37.56: Job succeeded