2026-09-04 17:39.38: New job: build cvc5.1.2.0 (143ec05d07cb)
2026-09-04 17:39.38: Waiting for resource in pool day11-builds
2026-09-04 18:24.17: Got resource from pool day11-builds
2026-09-04 18:24.17: [profile full] build cvc5.1.2.0
2026-09-04 18:24.17: Cached: build cvc5.1.2.0 (143ec05d07cb)
2026-09-04 18:24.17: Job succeeded