1
76%
master: 90%

Ran 17 Apr 2022 03:42PM UTC

Files 142

Run time 4s

Badge

Committed 17 Apr 2022 03:42PM UTC coverage: 78.042%. First build

Build Type

push

github

Committed by Benedikt Magnus

Commit Message

Adjusted the IntermediateCreator for the new symbol indices.

Run Details

445 of 663 branches covered (67.12%)

Branch coverage included in aggregate %.

2114 of 2616 relevant lines covered (80.81%)

31.15 hits per line