2026-09-02 19:42.29: New job: build cvc5.1.3.0 (b7aff52f7071)
2026-09-02 19:42.29: Waiting for resource in pool day11-builds
2026-09-02 19:44.55: Got resource from pool day11-builds
2026-09-02 19:44.55: [profile full] build cvc5.1.3.0
2026-09-02 19:44.56: build cvc5.1.3.0 (b7aff52f7071)
2026-09-02 20:34.57: Job failed: Cancelled: File "lib_cache/current_cache.ml", line 522, characters 14-20: Assertion failed