3
82%
main: 82%

Ran 16 Apr 2024 03:52PM UTC

Files 210

Run time 7s

Badge

Committed 16 Apr 2024 03:46PM UTC coverage: 81.983% (+0.001%) from 81.982%

Build Type

push

github

Committed by

Commit Message

Re-format (#468)

We forgot to re-format the code in the previous commit, and hastingly
merged it in.

Run Details

26596 of 32441 relevant lines covered (81.98%)

0.82 hits per line