2
89%
dev: 90%

Ran 12 Nov 2025 08:18PM UTC

Files 77

Run time 3s

Badge

Committed 12 Nov 2025 08:14PM UTC coverage: 89.173%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge branch 'fix/#835-missing-num_eq_sets-specification'

Run Details

1520 of 1642 branches covered (92.57%)

Branch coverage included in aggregate %.

8347 of 9423 relevant lines covered (88.58%)

0.89 hits per line