1
94%
master: 95%

Ran 13 Feb 2024 01:29PM UTC

Files 75

Run time 8s

Badge

Committed 13 Feb 2024 01:24PM UTC coverage: 93.906% (-0.04%) from 93.945%

Build Type

github

Committed by

Commit Message

Fix & test pretty-printing 0-dimensional region maps

Run Details

2244 of 2518 branches covered (0.0%)

Branch coverage included in aggregate %.

4998 of 5194 relevant lines covered (96.23%)

245130.64 hits per line