3
96%
master: 96%

Ran 02 Jan 2023 11:56PM UTC

Files 102

Run time 3s

Badge

Committed 02 Jan 2023 11:52PM UTC coverage: 96.27% (+0.007%) from 96.263%

Build Type

push

github

Committed by GitHub

Commit Message

correctly narrow "number" type to "integer", fixes #1935 (#2192)

Run Details

2171 of 2319 branches covered (93.62%)

Branch coverage included in aggregate %.

4101 of 4196 relevant lines covered (97.74%)

154370.27 hits per line