Improve build configuration in GitHub CI (#2861) #2861
| Job | Run time |
|---|---|
| 4m 52s | |
| 6m 52s | |
| 8m 28s | |
| 8m 7s | |
| 3m 43s | |
| 7m 38s | |
| 6m 34s | |
| 9m 6s | |
| 12m 44s | |
| 1m 27s | |
| 10m 57s | |
| 9m 35s | |
| 6m 1s | |
| 9m 5s | |
| 7m 43s | |
| 11m 28s | |
| 0s | |
| 0s | |
| 2h 4m 20s |
| Job | Run time |
|---|---|
| 4m 52s | |
| 6m 52s | |
| 8m 28s | |
| 8m 7s | |
| 3m 43s | |
| 7m 38s | |
| 6m 34s | |
| 9m 6s | |
| 12m 44s | |
| 1m 27s | |
| 10m 57s | |
| 9m 35s | |
| 6m 1s | |
| 9m 5s | |
| 7m 43s | |
| 11m 28s | |
| 0s | |
| 0s | |
| 2h 4m 20s |