37
100%

Ran 13 May 2025 10:07AM UTC

Jobs 1

Files 14

Run time 1min

Badge

Committed 13 May 2025 10:00AM UTC coverage: 92.278% (+0.3%) from 91.959%

Build # 37

Build Type

push

github

Committed by

Commit Message

Merge pull request #12 from mbarbin/emacs-grep

Utils for a basic emacs crs-grep-mode

Run Details

35 of 36 new or added lines in 4 files covered. (97.22%)

478 of 518 relevant lines covered (92.28%)

17.07 hits per line

Lines	Coverage	∆	File
1	96.67		lib/crs_cli/src/cmd__tools__emacs_grep.ml

ID	Job ID	Ran	Files	Coverage
1	37.1	13 May 2025 10:07AM UTC	14	92.28	GitHub Action Run