github-actions[bot]
commented
3 weeks ago Test Results
9 files ±0 20 suites ±0 0s :stopwatch: ±0s 641 tests ±0 641 :white_check_mark: ±0 0 :zzz: ±0 0 :x: ±0 2 053 runs ±0 2 052 :white_check_mark: ±0 1 :zzz: ±0 0 :x: ±0
Results for commit 5d39c0ca. ± Comparison against base commit 20f79bdd.
:recycle: This comment has been updated with latest results.
improve some error messages slightly by either not repeating information, or by showing unsimplified constraints when they simplify to false