2026-08-21 12:48.10: New job: build cvc5.1.2.0 (3dda6ab330e0)
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.2.0
2026-08-21 13:10.56: build cvc5.1.2.0 (3dda6ab330e0)
2026-08-21 13:42.22: Job failed: Cancelled: File "lib_cache/current_cache.ml", line 522, characters 14-20: Assertion failed