1
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.938% (+0.001%) from 81.937%

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

26570 of 32427 relevant lines covered (81.94%)

0.82 hits per line