257
69%
master: 69%

Ran 29 Oct 2023 01:06PM CUT

Jobs 1

Files 4

Run time 1s

Badge

Committed 29 Oct 2023 01:02PM CUT coverage: 69.626%. Remained the same

Build # 257

Build Type

push

github-actions

Committed by

Commit Message

Merge 68ed129a0 into 8ae00a033

Run Details

447 of 642 relevant lines covered (69.63%)

1.31 hits per line

ID	Job ID	Ran	Files	Coverage
1	257.1	29 Oct 2023 01:06PM CUT	4	69.63

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/System/Random/GFinite.hs	282	99	0	99	0.0
78.78	src/System/Random/Internal.hs	1519	377	297	80	1.0
86.21	src/System/Random/Stateful.hs	813	87	75	12	1.0
94.94	src/System/Random.hs	725	79	75	4	2.0