Fix server main (missing changes from #3557) (#3558) #2034
| Job | Run time |
|---|---|
| 57s | |
| 1m 19s | |
| 1m 17s | |
| 5m 6s | |
| 1m 11s | |
| 37s | |
| 1m 10s | |
| 35s | |
| 35s | |
| 47s | |
| 1m 16s | |
| 1m 23s | |
| 29s | |
| 1s | |
| 16m 43s |
| Job | Run time |
|---|---|
| 57s | |
| 1m 19s | |
| 1m 17s | |
| 5m 6s | |
| 1m 11s | |
| 37s | |
| 1m 10s | |
| 35s | |
| 35s | |
| 47s | |
| 1m 16s | |
| 1m 23s | |
| 29s | |
| 1s | |
| 16m 43s |