1
62%
master: 68%

Ran 15 Jun 2023 12:28PM UTC

Files 319

Run time 4s

Badge

Committed 15 Jun 2023 12:25PM UTC coverage: 62.158% (+0.005%) from 62.153%

Build Type

push

github

Committed by

Commit Message

Merge branch 'master' into rng_warnings

Run Details

1983 of 4497 branches covered (44.1%)

Branch coverage included in aggregate %.

11977 of 17962 relevant lines covered (66.68%)

0.67 hits per line