17123538015
74%

Ran 21 Aug 2025 09:58AM UTC

Jobs 6

Files 20

Run time 1min

Badge

Committed 21 Aug 2025 09:56AM UTC coverage: 72.796%. Remained the same

Build Type

push

github

Committed by

Commit Message

fix(test): Avoid duplicate clues in test for MinimalityViolation

Run Details

479 of 658 relevant lines covered (72.8%)

22516.53 hits per line

ID	Job ID	Ran	Files	Coverage
1	17123538015.1	21 Aug 2025 09:58AM UTC	20	72.64	GitHub Action Run
2	17123538015.2	21 Aug 2025 09:58AM UTC	20	72.8	GitHub Action Run
3	17123538015.3	21 Aug 2025 09:59AM UTC	19	72.11	GitHub Action Run
4	17123538015.4	21 Aug 2025 10:00AM UTC	20	59.42	GitHub Action Run
5	17123538015.5	21 Aug 2025 10:00AM UTC	20	59.42	GitHub Action Run
6	17123538015.6	21 Aug 2025 10:01AM UTC	19	58.42	GitHub Action Run