2026-10-07 21:16.25: New job: build hol_light_module.1.0 (7131a785d573)
2026-10-07 21:16.25: Waiting for resource in pool day11-builds
2026-10-07 21:18.05: Got resource from pool day11-builds
2026-10-07 21:18.05: [profile oxcaml-odoc-master] build hol_light_module.1.0
2026-10-07 21:18.05: build hol_light_module.1.0 (7131a785d573)
=== DEPENDENCIES (6 transitive) ===
  conf-autoconf.1                                    8ee1e3913008
  conf-which.1                                       65c43ca119c3
  ocaml.5.2.0                                        b8c350f4f1ad
  ocaml-config.3                                     2c72b422dfc3
  ocaml-variants.5.2.0+ox                            60cb73ac7801
  oxcaml-compiler.5.2.0minus39                       c47b62237187
=== 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-07 21:18.13: OK: build hol_light_module.1.0 (runc: 2.1s, disk: 5KB)
2026-10-07 21:18.13: Job succeeded