Skip to content

Fix #11101: array_filter(), array_map() and array_reduce() should be considered pure functions #25663

Fix #11101: array_filter(), array_map() and array_reduce() should be considered pure functions

Fix #11101: array_filter(), array_map() and array_reduce() should be considered pure functions #25663

Job Run time
20s
24s
25s
19s
21s
19s
20s
25s
25s
22s
24s
46s
21s
29s
21s
26s
19s
20s
20s
22s
25s
19s
18s
20s
23s
25s
21s
24s
30s
26s
20s
21s
24s
20s
24s
20s
18s
23s
22s
20s
22s
18s
24s
24s
22s
22s
25s
17s
21s
22s
26s
18s
20s
24s
21s
23s
20s
18s
19s
19s
21s
22m 37s