4
92%
master: 92%

Ran 16 May 2022 03:43PM UTC

Files 111

Run time 11min

Badge

Committed 16 May 2022 03:25PM UTC coverage: 86.342%. First build

Build Type

push

github

Committed by Marcel Stimberg

Commit Message

WIP: more reasonable LaTeX output for arrays

Run Details

6208 of 7640 branches covered (81.26%)

13921 of 16123 relevant lines covered (86.34%)

0.86 hits per line