1
100%
master: 100%

Ran 22 Jul 2021 08:07AM UTC

Files 2

Run time 0s

Badge

Committed 22 Jul 2021 08:07AM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by Ruben Verborgh

Commit Message

Switch to GitHub Actions.

Run Details

472 of 472 branches covered (100.0%)

1668 of 1668 relevant lines covered (100.0%)

87.86 hits per line