CI: bypass error

RIOT-OS · Aug 23, 2024 · 5d180b6 · 5d180b6
1 parent 635363f
commit 5d180b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -32,5 +32,5 @@ jobs:
           echo "[tatooine.riot-os.org]:${SECRET_PORT} ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHvjwPa7KJNZS47cHXaMrxRcDj1a/2VEFtp041ZOSY2L" > ~/.ssh/known_hosts
           echo "${SECRET_KEY}" > ~/.ssh/id_ed25519
           chmod go-rwx ~/.ssh/id_ed25519
-          ssh -vv -p ${SECRET_PORT} [email protected] whoami
+          ssh -vv -o HashKnownHosts=no -p ${SECRET_PORT} [email protected] whoami || true
           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/