2026-09-03 17:32.08: New job: build camlp4.4.14+1 (ae7544417306)
2026-09-03 17:32.08: Waiting for resource in pool day11-builds
2026-09-03 18:16.06: Got resource from pool day11-builds
2026-09-03 18:16.06: [profile full] build camlp4.4.14+1
2026-09-03 18:16.06: Cached: build camlp4.4.14+1 (ae7544417306)
2026-09-03 18:16.06: Job succeeded