2026-09-02 17:43.34: New job: build cvc5.1.1.3~unreleased (ecafbc7014e2)
2026-09-02 17:43.34: Waiting for resource in pool day11-builds
2026-09-02 19:31.51: Got resource from pool day11-builds
2026-09-02 19:31.51: [profile full] build cvc5.1.1.3~unreleased
2026-09-02 19:31.51: Cached: build cvc5.1.1.3~unreleased (ecafbc7014e2)
2026-09-02 19:31.51: Job succeeded