🐛 Use IP instead of hostname to connect over SSH

dothq · Apr 27, 2024 · 181fbef · 181fbef
1 parent d35d1ab
commit 181fbef
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/actions/run-via-ssh/action.yml b/.github/actions/run-via-ssh/action.yml
@@ -44,7 +44,9 @@ runs:
 
         - name: Run script
           shell: bash --noprofile --norc -eo pipefail -ux {0}
-          run: ssh -t ${{ inputs.ssh_username }}@${{ inputs.ts_hostname }} "${{ inputs.run }}"
+          run: |
+              SERVER_IP="$(tailscale ip -6 ${{ inputs.ts_hostname }})"
+              ssh -t ${{ inputs.ssh_username }}@$SERVER_IP "${{ inputs.run }}"
 
         - name: Nuke SSH keys
           shell: bash --noprofile --norc -eo pipefail -ux {0}