4
100%
master: 100%

Ran 31 Jul 2022 12:59PM UTC

Files 3

Run time 2s

Badge

Committed 31 Jul 2022 12:58PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by Ruben Verborgh

Commit Message

Use a Symbol for destination.

Run Details

606 of 606 branches covered (100.0%)

1982 of 1982 relevant lines covered (100.0%)

119.91 hits per line