546
46%

Ran 08 Jun 2026 07:32PM UTC

Jobs 1

Files 52

Run time 1min

Badge

Committed 08 Jun 2026 07:25PM UTC coverage: 48.125% (+0.02%) from 48.104%

Build # 546

Build Type

push

github

Committed by

Commit Message

Add missing boolean Distinct simplification

Coverage Stats

4 of 4 new or added lines in 1 file covered. (100.0%)

2 existing lines in 2 files now uncovered.

2439 of 5068 relevant lines covered (48.13%)

40.84 hits per line

Lines	Coverage	∆	File
1	76.83	0.15%	src/smtml/eval.ml
1	47.27	-0.2%	src/smtml/expr.ml

ID	Job ID	Ran	Files	Coverage
1	546.1	08 Jun 2026 07:32PM UTC	52	48.13	GitHub Action Run