3809
83%

Ran 07 Nov 2024 06:41AM UTC

Jobs 1

Files 153

Run time 1min

Badge

Committed 07 Nov 2024 06:41AM UTC coverage: 80.122% (-0.09%) from 80.207%

Build # 3809

Build Type

github

Committed by

Commit Message

Merge 332d48ca3 into bd652705e

Run Details

4341 of 5418 relevant lines covered (80.12%)

2225.89 hits per line

Lines	Coverage	∆	File
4	70.42	-1.45%	/Users/runner/work/core/core/immut/hashset/HAMT.mbt
4	0.0	-80.0%	/Users/runner/work/core/core/unit/unit.mbt

ID	Job ID	Ran	Files	Coverage
1	3809.1	07 Nov 2024 06:41AM UTC	154	79.96	GitHub Action Run