14303820330
93%
main: 94%

Ran 07 Apr 2025 03:31PM UTC

Jobs 3

Files 37

Run time 255min

Badge

Committed 07 Apr 2025 07:54AM UTC coverage: 93.387%. First build

Build Type

push

github

Committed by

Commit Message

Pass prelude by reference

Run Details

11467 of 12279 relevant lines covered (93.39%)

225.5 hits per line

ID	Job ID	Ran	Files	Coverage
1	14303820330.1	07 Apr 2025 03:31PM UTC	37	93.24	GitHub Action Run
2	14303820330.2	07 Apr 2025 03:33PM UTC	37	93.21	GitHub Action Run
3	14303820330.3	07 Apr 2025 03:34PM UTC	37	93.21	GitHub Action Run