349
45%

Ran 11 Jun 2025 08:06PM UTC

Jobs 1

Files 10

Run time 327min

Badge

Committed 11 Jun 2025 07:46PM UTC coverage: 55.168%. First build

Build # 349

Build Type

push

github

Committed by

Commit Message

add support for Bv of size 16

Run Details

0 of 1 new or added line in 1 file covered. (0.0%)

950 of 1722 relevant lines covered (55.17%)

11.51 hits per line

Lines	Coverage	∆	File
1	87.76	-12.24%	src/smtml/bitvector.ml

ID	Job ID	Ran	Files	Coverage
1	349.1	11 Jun 2025 08:06PM UTC	10	55.17	GitHub Action Run