2026-08-21 11:52.01: New job: build cvc5.1.1.3~unreleased (a249c6dc8ce0)
2026-08-21 11:52.01: Waiting for resource in pool day11-builds
2026-08-21 13:10.20: Got resource from pool day11-builds
2026-08-21 13:10.20: [profile full] build cvc5.1.1.3~unreleased
2026-08-21 13:10.21: Cached: build cvc5.1.1.3~unreleased (a249c6dc8ce0)
2026-08-21 13:10.21: Job succeeded