2026-08-03 22:34.29: New job: build ppx_regexp.0.5.2 (c0492f96fdad)
2026-08-03 22:34.29: Waiting for resource in pool day11-builds
2026-08-04 00:09.16: Got resource from pool day11-builds
2026-08-04 00:09.16: [profile full] build ppx_regexp.0.5.2
2026-08-04 00:09.16: Cached: build ppx_regexp.0.5.2 (c0492f96fdad)
2026-08-04 00:09.16: Job succeeded