2026-10-21 20:30.53: New job: build cvc5.1.3.0-3 (63897628d101)
2026-10-21 20:30.53: Waiting for resource in pool day11-builds
2026-10-21 22:11.05: Got resource from pool day11-builds
2026-10-21 22:11.05: [profile full] build cvc5.1.3.0-3
2026-10-21 22:11.05: Cached: build cvc5.1.3.0-3 (63897628d101)
2026-10-21 22:11.05: Job succeeded