[Backport legacy] Replace grep cpuinfo with nproc #704
| Job | Run time |
|---|---|
| 4s | |
| 56m 8s | |
| 49m 50s | |
| 51m 41s | |
| 34m 21s | |
| 51m 46s | |
| 49m 56s | |
| 49m 44s | |
| 50m 34s | |
| 52m 35s | |
| 51m 43s | |
| 54m 24s | |
| 51m 47s | |
| 51m 28s | |
| 53m 35s | |
| 51m 20s | |
| 55m 38s | |
| 55m 47s | |
| 55m 34s | |
| 34m 39s | |
| 52m 32s | |
| 58m 36s | |
| 57m 3s | |
| 55m 8s | |
| 56m 29s | |
| 0s | |
| 20h 42m 22s |