Use PID valid for 32-bit systems, followup to #12741 #10
Job | Run time |
---|---|
7m 6s | |
18s | |
5m 5s | |
6m 37s | |
4m 44s | |
6m 37s | |
4m 36s | |
6m 46s | |
4m 32s | |
1m 56s | |
4m 52s | |
53m 9s |
Job | Run time |
---|---|
7m 6s | |
18s | |
5m 5s | |
6m 37s | |
4m 44s | |
6m 37s | |
4m 36s | |
6m 46s | |
4m 32s | |
1m 56s | |
4m 52s | |
53m 9s |