1
95%
master: 95%

Ran 20 Feb 2024 08:43AM UTC

Files 75

Run time 1s

Badge

Committed 20 Feb 2024 08:38AM UTC coverage: 93.903% (-0.03%) from 93.929%

Build Type

push

github

Committed by

Commit Message

Fix & test pretty-printing 0-dimensional region maps

Run Details

2244 of 2518 branches covered (89.12%)

Branch coverage included in aggregate %.

4995 of 5191 relevant lines covered (96.22%)

212780.59 hits per line