3
91%
master: 92%

Ran 17 Nov 2022 04:35PM UTC

Files 297

Run time 21s

Badge

Committed 17 Nov 2022 04:32PM UTC coverage: 91.45% (+0.001%) from 91.449%

Build Type

push

github

Committed by Martin Middel

Commit Message

Allow adding a seed for fn:random-number-generator

Run Details

4882 of 5680 branches covered (85.95%)

Branch coverage included in aggregate %.

10478 of 11116 relevant lines covered (94.26%)

32593.1 hits per line