906
92%

Ran 30 Aug 2025 05:17AM UTC

Jobs 1

Files 244

Run time 1min

Badge

Committed 30 Aug 2025 05:17AM UTC coverage: 88.738%. Remained the same

Build # 906

Build Type

push

github

Committed by

Commit Message

feat(priority_queue): avoid overflow for `to_array`

Run Details

9 of 9 new or added lines in 2 files covered. (100.0%)

6 existing lines in 2 files now uncovered.

8652 of 9750 relevant lines covered (88.74%)

224769.34 hits per line

Lines	Coverage	∆	File
2	91.04	0.0%	priority_queue/priority_queue.mbt
4	93.26	0.0%	immut/priority_queue/priority_queue.mbt

ID	Job ID	Ran	Files	Coverage
1	906.1	30 Aug 2025 05:17AM UTC	245	88.77	GitHub Action Run