7970610878
95%

Ran 20 Feb 2024 08:43AM UTC

Jobs 1

Files 75

Run time 5s

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

ID	Job ID	Ran	Files	Coverage
1	7970610878.1	20 Feb 2024 08:43AM UTC	75	93.9	GitHub Action Run