1
89%
master: 89%

Ran 17 Jan 2023 01:33PM UTC

Files 135

Run time 6s

Badge

Committed 17 Jan 2023 01:33PM UTC coverage: 78.155% (+3.0%) from 75.137%

Build Type

push

github

Committed by Benedikt Magnus

Commit Message

Improved tests regarding the new operators.

Run Details

433 of 589 branches covered (73.51%)

Branch coverage included in aggregate %.

1846 of 2327 relevant lines covered (79.33%)

56.95 hits per line