2026-07-31 11:39.03: New job: build cvc5.1.1.3~unreleased (bd3b0dd12515)
2026-07-31 11:39.03: Waiting for resource in pool day11-builds
2026-07-31 16:41.49: Got resource from pool day11-builds
2026-07-31 16:41.49: [profile full] build cvc5.1.1.3~unreleased
2026-07-31 16:41.49: Cached: build cvc5.1.1.3~unreleased (bd3b0dd12515)
2026-07-31 16:41.49: Job succeeded