4325
92%

Ran 25 Dec 2024 02:16PM UTC

Jobs 1

Files 166

Run time 1min

Badge

Committed 25 Dec 2024 02:14PM UTC coverage: 83.372% (-0.01%) from 83.384%

Build # 4325

Build Type

push

github

Committed by

Commit Message

feat(builtin)!: rename `map_option` to `filter_map`

Run Details

0 of 2 new or added lines in 2 files covered. (0.0%)

4623 of 5545 relevant lines covered (83.37%)

2360.69 hits per line

Lines	Coverage	∆	File
1	94.74	-5.26%	array/array.mbt
1	85.27	-0.67%	builtin/iter.mbt

ID	Job ID	Ran	Files	Coverage
1	4325.1	25 Dec 2024 02:16PM UTC	167	83.19	GitHub Action Run