chore(ci): use explicit ip for gitea in ssh config

.gitea/workflows/ci.yml

@@ -25,11 +25,11 @@ jobs:
       - name: Add Gitea SSH Host Key
         run: |
           mkdir -p ~/.ssh
-          ssh-keyscan -p 22 gitea >> ~/.ssh/known_hosts || true
+          ssh-keyscan -p 22 172.18.0.2 >> ~/.ssh/known_hosts || true
           # Route all possible hostnames Gitea might hand out via API back to the internal docker port 22
-          printf "Host gitea\n  HostName gitea\n  Port 22\n  StrictHostKeyChecking no\n" > ~/.ssh/config
+          printf "Host gitea\n  HostName 172.18.0.2\n  Port 22\n  StrictHostKeyChecking no\n" > ~/.ssh/config
-          printf "Host thunderobot\n  HostName gitea\n  Port 22\n  StrictHostKeyChecking no\n" >> ~/.ssh/config
+          printf "Host thunderobot\n  HostName 172.18.0.2\n  Port 22\n  StrictHostKeyChecking no\n" >> ~/.ssh/config
-          printf "Host thunderobot.tail5d6e8e.ts.net\n  HostName gitea\n  Port 22\n  StrictHostKeyChecking no\n" >> ~/.ssh/config
+          printf "Host thunderobot.tail5d6e8e.ts.net\n  HostName 172.18.0.2\n  Port 22\n  StrictHostKeyChecking no\n" >> ~/.ssh/config
           
           # Force checkout to rewrite port 222 down to 22
           git config --global url."ssh://git@gitea/".insteadOf "ssh://git@gitea:222/"
@@ -41,10 +41,12 @@ jobs:
           chmod 600 ~/.ssh/config
 
       - name: Checkout Code
-        uses: actions/checkout@v4
+        run: |
-        with:
+          # Use manual clone because actions/checkout overrides SSH settings and drops our Host aliases
-          repository: danchie/tekton
+          eval "$(ssh-agent -s)"
-          ssh-key: ${{ secrets.TEKTON_SSH_KEY }}
+          ssh-add <(echo "${{ secrets.TEKTON_SSH_KEY }}")
+          git clone ssh://git@gitea/danchie/tekton.git .
+          git checkout $TAG_NAME
 
       - name: Setup Godot (Cached)
         run: |