4312100717
85%
main: 83%

Ran 02 Mar 2023 08:51AM UTC

Jobs 1

Files 21

Run time 1s

Badge

Build Type

push

github

Committed by David Widmann

Commit Message

Replace GLOBAL_RNG with default_rng() (#468)

Run Details

6 of 6 new or added lines in 3 files covered. (100.0%)

1819 of 2444 relevant lines covered (74.43%)

37424.82 hits per line

ID	Job ID	Ran	Files	Coverage
1	4312100717.1	02 Mar 2023 08:51AM UTC	21	74.43	GitHub Action Run