1
97%
master: 97%

Ran 28 Oct 2020 04:59PM UTC

Files 5

Run time 2s

Badge

Committed 28 Oct 2020 04:59PM UTC coverage: 100.0%. Remained the same

Build Type

push

circleci

Committed by GitHub

Commit Message

Type-check the entire codebase (#104)

Run Details

8 of 8 branches covered (100.0%)

Branch coverage included in aggregate %.

45 of 45 relevant lines covered (100.0%)

10.38 hits per line