general: Decouple platform.h #394
Job | Run time |
---|---|
7m 46s | |
10m 2s | |
9m 1s | |
10m 28s | |
10m 4s | |
12m 10s | |
3m 12s | |
4m 14s | |
3m 8s | |
3m 57s | |
2m 51s | |
1h 16m 53s |
Job | Run time |
---|---|
7m 46s | |
10m 2s | |
9m 1s | |
10m 28s | |
10m 4s | |
12m 10s | |
3m 12s | |
4m 14s | |
3m 8s | |
3m 57s | |
2m 51s | |
1h 16m 53s |