287
45%

Ran 27 Feb 2025 03:16PM UTC

Jobs 1

Files 38

Run time 1min

Badge

Committed 27 Feb 2025 02:55PM UTC coverage: 47.599% (-0.4%) from 48.02%

Build # 287

Build Type

push

github

Committed by

Commit Message

Bring Owi's missing simplifications into `extract2` and `concat3`

Run Details

1 of 31 new or added lines in 1 file covered. (3.23%)

1576 of 3311 relevant lines covered (47.6%)

32.72 hits per line

Lines	Coverage	∆	File
30	41.59	-3.02%	src/expr.ml

ID	Job ID	Ran	Files	Coverage
1	287.1	27 Feb 2025 03:16PM UTC	38	47.6	GitHub Action Run