15
100%

Ran 13 Apr 2025 07:41PM UTC

Jobs 1

Files 12

Run time 1min

Badge

Committed 13 Apr 2025 07:35PM UTC coverage: 69.78% (+3.1%) from 66.667%

Build # 15

Build Type

push

github

Committed by

Commit Message

Merge pull request #6 from mbarbin/crs-grep

Add a crs command `grep`

Run Details

14 of 28 new or added lines in 3 files covered. (50.0%)

254 of 364 relevant lines covered (69.78%)

5.23 hits per line

Lines	Coverage	∆	File
2	84.62		lib/crs_cli/src/cmd__grep.ml
12	14.29		lib/crs_cli/src/common_helpers.ml

ID	Job ID	Ran	Files	Coverage
1	15.1	13 Apr 2025 07:41PM UTC	12	69.78	GitHub Action Run