4936
92%

Ran 01 Jul 2026 06:30AM UTC

Jobs 1

Files 382

Run time 1min

Badge

Committed 01 Jul 2026 06:29AM UTC coverage: 91.387% (+0.001%) from 91.386%

Build # 4936

Build Type

push

github

Committed by

Commit Message

fix(immut/sorted_set): implement Sub

Coverage Stats

1 of 1 new or added line in 1 file covered. (100.0%)

15353 of 16800 relevant lines covered (91.39%)

195676.71 hits per line

ID	Job ID	Ran	Files	Coverage
1	4936.1	01 Jul 2026 06:30AM UTC	383	91.4	GitHub Action Run