2026-10-06 17:28.58: New job: build hol_light_module.1.0 (e9c19d0a833d)
2026-10-06 17:28.58: Waiting for resource in pool day11-builds
2026-10-06 17:32.03: Got resource from pool day11-builds
2026-10-06 17:32.03: [profile oxcaml-odoc-master] build hol_light_module.1.0
2026-10-06 17:32.03: build hol_light_module.1.0 (e9c19d0a833d)
=== DEPENDENCIES (6 transitive) ===
  conf-autoconf.1                                    8ee1e3913008
  conf-which.1                                       65c43ca119c3
  ocaml.5.2.0                                        879ae859f814
  ocaml-config.3                                     37112a8040f8
  ocaml-variants.5.2.0+ox                            8119d9341417
  oxcaml-compiler.5.2.0minus39                       72925b65bf23
=== STDOUT ===
Processing: [default: loading data]
[hol_light_module.1.0: dl]
[hol_light_module.1.0: extract]
-> retrieved hol_light_module.1.0  (https://opam.ocaml.org/cache)
-> installed hol_light_module.1.0

=== STDERR ===

2026-10-06 17:32.11: OK: build hol_light_module.1.0 (runc: 2.1s, disk: 5KB)
2026-10-06 17:32.11: Job succeeded