10
100%
main: 100%

Ran 08 Apr 2022 12:46PM UTC

Files 287

Run time 21s

Badge

Committed 08 Apr 2022 12:32PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by Ruben Verborgh

Commit Message

docs: Fix new repo folder name.

Run Details

1409 of 1409 branches covered (100.0%)

Branch coverage included in aggregate %.

5446 of 5446 relevant lines covered (100.0%)

32.8 hits per line