3905624911
60%

Ran 12 Jan 2023 08:06PM UTC

Jobs 1

Files 21

Run time 1s

Badge

Committed 12 Jan 2023 08:06PM UTC coverage: 59.657% (-0.2%) from 59.849%

Build Type

push

github

Committed by Sean

Commit Message

FIX: check compatible against the list of strings, not just one, for DevTreeIndex

Run Details

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

556 of 932 relevant lines covered (59.66%)

490.5 hits per line

Lines	Coverage	∆	File
5	63.56	-1.66%	src/index/iters.rs

ID	Job ID	Ran	Files	Coverage
1	3905624911.1	12 Jan 2023 08:06PM UTC	21	59.66	GitHub Action Run