switch from server_version to server_version_num (#304) #610
Job | Run time |
---|---|
5s | |
19s | |
1m 2s | |
1m 14s | |
26s | |
1m 0s | |
1m 25s | |
25s | |
2m 34s | |
1m 26s | |
1m 18s | |
1m 14s | |
0s | |
0s | |
0s | |
12m 28s |
Job | Run time |
---|---|
5s | |
19s | |
1m 2s | |
1m 14s | |
26s | |
1m 0s | |
1m 25s | |
25s | |
2m 34s | |
1m 26s | |
1m 18s | |
1m 14s | |
0s | |
0s | |
0s | |
12m 28s |