4325

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

Source File
Press 'n' to go to next uncovered line, 'b' for previous

94.74

/array/array.mbt