Add a command-line option to print binder version #667
Job | Run time |
---|---|
5m 34s | |
2m 45s | |
5m 0s | |
5m 4s | |
5m 44s | |
5m 38s | |
6m 2s | |
6m 8s | |
5m 7s | |
4m 58s | |
2m 49s | |
54m 49s |
Job | Run time |
---|---|
5m 34s | |
2m 45s | |
5m 0s | |
5m 4s | |
5m 44s | |
5m 38s | |
6m 2s | |
6m 8s | |
5m 7s | |
4m 58s | |
2m 49s | |
54m 49s |