1
84%
master: 84%

Ran 04 May 2022 11:35PM UTC

Files 147

Run time 16s

Badge

Committed 04 May 2022 11:35PM UTC coverage: 84.227% (+0.007%) from 84.22%

Build Type

push

github-actions

Committed by GitHub

Commit Message

Merge branch 'devel' into remove_typecheck

Run Details

12308 of 15282 branches covered (80.54%)

Branch coverage included in aggregate %.

28928 of 33676 relevant lines covered (85.9%)

0.86 hits per line