CI: No HashKnownHosts

RIOT-OS · Aug 23, 2024 · 635363f · 635363f
1 parent 91e744e
commit 635363f
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -30,10 +30,7 @@ jobs:
         run: |
           mkdir ~/.ssh -m 0700
           echo "[tatooine.riot-os.org]:${SECRET_PORT} ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHvjwPa7KJNZS47cHXaMrxRcDj1a/2VEFtp041ZOSY2L" > ~/.ssh/known_hosts
-          # Yeah this leaks the port … but I have to know whether our secrets are in
-          hd ~/.ssh/known_hosts
           echo "${SECRET_KEY}" > ~/.ssh/id_ed25519
           chmod go-rwx ~/.ssh/id_ed25519
-          sha256sum ~/.ssh/id_ed25519
           ssh -vv -p ${SECRET_PORT} [email protected] whoami
-          rsync -e "ssh -p${SECRET_PORT}" -vaP --delete bin/${BOARD}/target/${RUST_TARGET}/doc/* [email protected]:/var/www/doc.riot-os.org_rustdoc/latest/
+          rsync -e "ssh -p${SECRET_PORT} -o HashKnownHosts=no" -vaP --delete bin/${BOARD}/target/${RUST_TARGET}/doc/* [email protected]:/var/www/doc.riot-os.org_rustdoc/latest/