280
45%

Ran 08 Feb 2025 07:31PM UTC

Jobs 1

Files 38

Run time 1min

Badge

Committed 08 Feb 2025 07:15PM UTC coverage: 47.508%. Remained the same

Build # 280

Build Type

push

github

Committed by

Commit Message

Add sign extension to operators with unsigned counter parts (Closes #207)

Run Details

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

1544 of 3250 relevant lines covered (47.51%)

32.52 hits per line

Lines	Coverage	∆	File
7	25.19	0.0%	src/ty.ml

ID	Job ID	Ran	Files	Coverage
1	280.1	08 Feb 2025 07:31PM UTC	38	47.51	GitHub Action Run