7
88%
main: 88%

Ran 15 Oct 2023 02:51PM UTC

Files 43

Run time 2s

Badge

Committed 15 Oct 2023 02:39PM UTC coverage: 84.576% (+0.5%) from 84.099%

Build Type

push

github

Committed by

Commit Message

Protect against Abort for wkt output with very large floats (#1907)

Run Details

2484 of 2937 relevant lines covered (84.58%)

0.85 hits per line