6340
92%

Ran 22 Apr 2025 06:16AM UTC

Jobs 1

Files 249

Run time 1min

Badge

Committed 22 Apr 2025 06:15AM UTC coverage: 93.187% (-0.02%) from 93.202%

Build # 6340

Build Type

push

github

Committed by

Commit Message

Add ToJson implementation for priority queue type

Run Details

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

5799 of 6223 relevant lines covered (93.19%)

137687.56 hits per line

Lines	Coverage	∆	File
1	0.0	-100.0%	immut/priority_queue/types.mbt

ID	Job ID	Ran	Files	Coverage
1	6340.1	22 Apr 2025 06:16AM UTC	250	93.12	GitHub Action Run