Linux CI

Don't strip username from `jumphost`, add it if it's missing #742

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
msan_linux	11m 53s
asan_linux	13m 15s
codecov	13m 54s
tsan_linux	11m 44s
ubsan_linux	13m 16s
	1h 4m 2s