20
95%
main: 95%

Ran 11 Nov 2024 04:09PM UTC

Jobs 1

Files 2

Run time 1min

Badge

Committed 11 Nov 2024 04:05PM UTC coverage: 94.949%. First build

Build # 20

Build Type

github

Committed by

Commit Message

Merge da910ee68 into 068bc73b1

Run Details

62 of 65 new or added lines in 1 file covered. (95.38%)

94 of 99 relevant lines covered (94.95%)

2357.96 hits per line

Lines	Coverage	∆	File
3	95.38		test/test__union_find.ml

ID	Job ID	Ran	Files	Coverage
1	20.1	11 Nov 2024 04:09PM UTC	2	94.95	GitHub Action Run