1
83%
master: 88%

Ran 12 Dec 2022 11:23AM UTC

Files 128

Run time 8s

Badge

Committed 12 Dec 2022 11:23AM UTC coverage: 82.571% (+0.01%) from 82.559%

Build Type

push

github

Committed by Andrew Rowley

Commit Message

Fix the types for the untyped language

Run Details

1490 of 1976 branches covered (75.4%)

Branch coverage included in aggregate %.

4716 of 5540 relevant lines covered (85.13%)

0.85 hits per line