Fix incorrect analyzing of array_shift with non-empty-list property #22513
Job | Run time |
---|---|
59s | |
2m 17s | |
3m 46s | |
1m 52s | |
1m 53s | |
6m 6s | |
3m 47s | |
33s | |
2m 3s | |
1m 55s | |
3m 32s | |
3m 49s | |
3m 58s | |
2m 5s | |
13m 5s | |
3m 53s | |
2m 3s | |
3m 21s | |
3m 20s | |
3m 31s | |
3m 23s | |
3m 29s | |
2m 10s | |
3m 34s | |
3m 26s | |
3m 19s | |
3m 25s | |
1h 30m 34s |