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