2026-06-16 11:39.57: New job: build hol_light_module.1.0 (26fca25eb2d2)
2026-06-16 11:39.57: Waiting for resource in pool day11-builds
2026-06-16 11:54.08: Got resource from pool day11-builds
2026-06-16 11:54.08: [profile full] build hol_light_module.1.0
2026-06-16 11:54.08: build hol_light_module.1.0 (26fca25eb2d2)
=== DEPENDENCIES (4 transitive) ===
  ocaml.5.4.1                                        708fed352b2a
  ocaml-base-compiler.5.4.1                          89b85703f841
  ocaml-compiler.5.4.1                               a719b8419b8e
  ocaml-config.3                                     aa27f63940d8
=== 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-06-16 11:54.20: OK: build hol_light_module.1.0 (runc: 1.7s, disk: 5KB)
2026-06-16 11:54.20: Job succeeded