diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 494580cad0a2eb..f16f56559452ab 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -14,6 +14,10 @@ jobs: run: | mkdir -p ~/.ssh/ echo "${{ secrets.SSH_PRIVATE_KEY }}" > ~/.ssh/id_ed25519 + echo "Host *\ + ServerAliveInterval 5 + " > ~/.ssh/config + # bit paranoid, but prevent cracking the pubkey echo "${{ secrets.SSH_PUBLIC_KEY }}" > ~/.ssh/id_ed25519.pub