Shorten git revision printed in the --version output (#770) #502
Job | Run time |
---|---|
2m 55s | |
15s | |
2m 2s | |
1m 11s | |
1m 13s | |
1m 18s | |
1m 14s | |
1m 15s | |
1m 13s | |
1m 23s | |
3m 32s | |
1m 12s | |
18m 43s |
Job | Run time |
---|---|
2m 55s | |
15s | |
2m 2s | |
1m 11s | |
1m 13s | |
1m 18s | |
1m 14s | |
1m 15s | |
1m 13s | |
1m 23s | |
3m 32s | |
1m 12s | |
18m 43s |