test

Use standard ssh port and correct path for uploading docs #370

Job	Run time
build-spm	33s
build	8m 0s
docs	1m 11s
check (Debug, gnu-6, 14)	2m 59s
check (Debug, gnu-7, 14)	2m 59s
check (Debug, llvm-5, 14)	2m 36s
check (Debug, llvm-6, 14)	2m 49s
check (Release, gnu-6, 14)	3m 36s
check (Release, gnu-7, 14)	3m 40s
check (Release, llvm-5, 14)	3m 54s
check (Release, llvm-6, 14)	4m 21s
check (Debug, gnu-9, 14, coverage)	3m 41s
check (Debug, gnu-8, 17)	3m 7s
check (Debug, llvm-9, 17, fuzzers)	3m 57s
check (Debug, gnu-11, 20)	3m 25s
check (Debug, llvm-13, 20)	3m 1s
check (Debug, llvm-8, 14, sanitize)	3m 46s
check (Release, gnu-9, 14, benchmark)	7m 37s
check (Release, llvm-10, 14, benchmark)	7m 36s
	1h 12m 48s

Provide feedback