1
78%
main: 78%

Ran 11 Oct 2025 06:16PM UTC

Files 395

Run time 9s

Badge

Committed 11 Oct 2025 06:11PM UTC coverage: 78.179% (-0.009%) from 78.188%

Build Type

push

github

Committed by

Commit Message

Update UserGuide.md

semi-finalized Search section

Run Details

11247 of 16245 branches covered (69.23%)

Branch coverage included in aggregate %.

24857 of 29936 relevant lines covered (83.03%)

1505.7 hits per line