3
91%
master: 92%

Ran 15 Nov 2022 09:50AM UTC

Files 297

Run time 18s

Badge

Committed 15 Nov 2022 09:48AM UTC coverage: 91.447% (+0.008%) from 91.439%

Build Type

push

github

Committed by Martin Middel

Commit Message

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

Run Details

4878 of 5676 branches covered (85.94%)

Branch coverage included in aggregate %.

10475 of 11113 relevant lines covered (94.26%)

32601.2 hits per line