From 06b57300a0ec3d2d323c5431c96213570898bfd8 Mon Sep 17 00:00:00 2001 From: marcusDenslow Date: Tue, 9 Jun 2026 19:16:11 +0200 Subject: [PATCH] fix: fail deploy loudly on stale pull or HEAD mismatch --- .github/workflows/deploy.yml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 5888ac2..405b7f2 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -22,6 +22,15 @@ jobs: key: ${{ secrets.SERVER_SSH_KEY }} port: ${{ secrets.SERVER_PORT }} script: | + set -euo pipefail cd ~/terminalShop - git pull + git fetch origin master + git reset --hard origin/master + deployed=$(git rev-parse HEAD) + expected="${{ github.sha }}" + if [ "$deployed" != "$expected" ]; then + echo "::error::deploy HEAD mismatch: box=$deployed expected=$expected" + exit 1 + fi docker compose -f docker-compose.prod.yml up -d --build + echo "deploy verified: HEAD=$deployed"