1
100%
master: 100%

Ran 16 Jan 2023 10:34AM UTC

Files 99

Run time 4s

Badge

Committed 16 Jan 2023 10:34AM UTC coverage: 100.0% (+0.6%) from 99.419%

Build Type

push

github

Committed by Benedikt Grether

Commit Message

Merge main into branch

Run Details

277 of 277 branches covered (100.0%)

Branch coverage included in aggregate %.

957 of 957 relevant lines covered (100.0%)

228.64 hits per line