Replace grep cpuinfo with nproc #700
| Job | Run time |
|---|---|
| 4s | |
| 1h 15m 2s | |
| 1h 11m 53s | |
| 1h 11m 11s | |
| 1h 6m 37s | |
| 1h 13m 26s | |
| 1h 17m 56s | |
| 1h 17m 16s | |
| 1h 12m 47s | |
| 1h 10m 53s | |
| 1h 13m 58s | |
| 1h 15m 25s | |
| 1h 10m 30s | |
| 1h 18m 10s | |
| 1h 11m 12s | |
| 1h 11m 52s | |
| 1h 11m 18s | |
| 1h 12m 1s | |
| 1h 16m 30s | |
| 1h 11m 38s | |
| 59m 55s | |
| 1h 19m 37s | |
| 1h 5m 29s | |
| 1h 25m 25s | |
| 1h 17m 44s | |
| 1h 16m 47s | |
| 1h 17m 34s | |
| 0s | |
| 1d 7h 52m 10s |