2026-09-06 19:34.34: New job: build pa_ppx_regexp.8.05.01 (bbe5ea71407e)
2026-09-06 19:34.34: Waiting for resource in pool day11-builds
2026-09-06 20:03.10: Got resource from pool day11-builds
2026-09-06 20:03.10: [profile full] build pa_ppx_regexp.8.05.01
2026-09-06 20:03.10: build pa_ppx_regexp.8.05.01 (bbe5ea71407e)
2026-09-06 20:03.35: FAILED: build pa_ppx_regexp.8.05.01
2026-09-06 20:03.35: Job failed: build failed: pa_ppx_regexp.8.05.01