Fix termination check of x in *
#4356
Job | Run time |
---|---|
9s | |
5m 58s | |
3s | |
1m 36s | |
44s | |
1m 36s | |
42s | |
1m 41s | |
42s | |
1m 40s | |
1m 44s | |
30s | |
1m 46s | |
48s | |
1m 34s | |
29s | |
1m 41s | |
31s | |
2m 0s | |
32s | |
1m 51s | |
29s | |
2m 12s | |
32s | |
37s | |
2m 12s | |
30s | |
2m 1s | |
36s | |
1m 52s | |
31s | |
39m 49s |