1
92%
main: 92%

Ran 09 Sep 2023 06:38PM UTC

Files 140

Run time 2s

Badge

Committed 09 Sep 2023 06:35PM UTC coverage: 91.205% (+0.005%) from 91.2%

Build Type

push

github

Committed by

Commit Message

Use DeMorgan's Law to make sync push ID check clearer

Run Details

630 of 733 branches covered (0.0%)

Branch coverage included in aggregate %.

1164 of 1234 relevant lines covered (94.33%)

233.98 hits per line