7257
89%

Ran 13 Jun 2025 07:37AM UTC

Jobs 1

Files 209

Run time 2min

Badge

Committed 13 Jun 2025 07:36AM UTC coverage: 93.11% (+0.001%) from 93.109%

Build # 7257

Build Type

push

github

Committed by

Commit Message

Optimize Array::retain loop

Coverage Stats

8568 of 9202 relevant lines covered (93.11%)

219942.93 hits per line

Lines	Coverage	∆	File
3	94.66	0.03%	builtin/array.mbt

ID	Job ID	Ran	Files	Coverage
1	7257.1	13 Jun 2025 07:37AM UTC	210	93.05	GitHub Action Run