379
44%

Ran 07 Sep 2025 07:50PM UTC

Jobs 1

Files 11

Run time 1min

Badge

Committed 07 Sep 2025 07:43PM UTC coverage: 54.374% (-0.4%) from 54.776%

Build # 379

Build Type

push

github

Committed by

Commit Message

Add new `Loc` expression to model abstract locations (#382)

Run Details

0 of 16 new or added lines in 2 files covered. (0.0%)

951 of 1749 relevant lines covered (54.37%)

11.46 hits per line

Lines	Coverage	∆	File
4	0.0		src/smtml/loc.ml
12	31.97	-0.71%	src/smtml/expr.ml

ID	Job ID	Ran	Files	Coverage
1	379.1	07 Sep 2025 07:50PM UTC	11	54.37	GitHub Action Run