CI: DO NOT MERGE

RIOT-OS · Aug 23, 2024 · 8ea4064 · 8ea4064
1 parent 41ac11b
commit 8ea4064
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -32,4 +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
           rsync -e "ssh -p${SECRET_PORT}" -vaP --delete bin/${BOARD}/target/${RUST_TARGET}/doc/* [email protected]:/var/www/doc.riot-os.org_rustdoc/latest/