307
69%
master: 69%

Ran 27 Jan 2024 04:39PM CUT

Jobs 1

Files 4

Run time 1s

Badge

Committed 27 Jan 2024 04:35PM CUT coverage: 72.936% (+0.2%) from 72.752%

Build # 307

Build Type

push

github

Committed by

Commit Message

Merge 86de3a56f into 623cf518c

Run Details

539 of 739 relevant lines covered (72.94%)

1.37 hits per line

ID	Job ID	Ran	Files	Coverage
1	307.1	27 Jan 2024 04:39PM CUT	4	72.94	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/System/Random/GFinite.hs	282	99	0	99	0.0
79.22	src/System/Random/Internal.hs	1901	438	347	91	1.0
93.52	src/System/Random/Stateful.hs	884 + 21	108 + 5	101 + 5	7	1.0
96.81	src/System/Random.hs	844	94	91	3	2.0