37191366750
97%

Ran 04 Oct 2026 09:17AM UTC

Jobs 1

Files 28

Run time 1min

Badge

Committed 04 Oct 2026 09:11AM UTC coverage: 96.736% (+0.1%) from 96.588%

Build Type

push

github

Committed by

Commit Message

Merge pull request #143 from tamada/issue/133_visibility_and_names

Give every public name one path, and drop the prelude

Coverage Stats

138 of 138 new or added lines in 10 files covered. (100.0%)

6787 of 7016 relevant lines covered (96.74%)

40.72 hits per line

ID	Job ID	Ran	Files	Coverage
1	37191366750.1	04 Oct 2026 09:17AM UTC	28	96.74	GitHub Action Run