3
92%
master: 92%

Ran 30 Nov 2022 04:20PM UTC

Files 298

Run time 14s

Badge

Committed 30 Nov 2022 04:19PM UTC coverage: 91.451% (+0.01%) from 91.437%

Build Type

push

github

Committed by GitHub

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 %.

10480 of 11118 relevant lines covered (94.26%)

32587.23 hits per line