Don't strip username from jumphost, add it if it's missing
#714
| Job | Run time |
|---|---|
| 23m 37s | |
| 19m 34s | |
| 33m 13s | |
| 24m 50s | |
| 1h 41m 14s |
jumphost, add it if it's missing
#714
| Job | Run time |
|---|---|
| 23m 37s | |
| 19m 34s | |
| 33m 13s | |
| 24m 50s | |
| 1h 41m 14s |