Don't strip username from jumphost, add it if it's missing ; fix bu…
#27
| Job | Run time |
|---|---|
| 5m 49s | |
| 6m 34s | |
| 6m 46s | |
| 9m 48s | |
| 28m 57s |
jumphost, add it if it's missing ; fix bu…
#27
| Job | Run time |
|---|---|
| 5m 49s | |
| 6m 34s | |
| 6m 46s | |
| 9m 48s | |
| 28m 57s |