2026-09-04 17:39.38: New job: build cvc5.1.3.0 (f3ad793b2abc)
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.3.0
2026-09-04 18:24.17: Cached: build cvc5.1.3.0 (f3ad793b2abc)
2026-09-04 18:24.17: Job succeeded