chore: deploy script for all services
Deploy bin / deploy (push) Successful in 3s
Deploy, build and restart MASTER / deploy (push) Successful in 2s
Deploy agebd python package / deploy (push) Successful in 2s

This commit is contained in:
Benjamin Labrecque
2026-07-06 17:00:58 +02:00
parent f531bb5197
commit a0c8bb9329
@@ -55,7 +55,7 @@ jobs:
# Disable pipefail temporarily or add an '|| true' fallback so grep doesn't kill the script
set +e
CHANGED_FILES=$(git diff --name-only bff62f79617dff38025c47fd54cccc6554d0e313 baedb68163454880544ac4eec71704c206f40f0c)
CHANGED_FILES=$(git diff --name-only ${{ github.event.before }} ${{ github.sha }})
set -e
# 1. Parse changed directory names into space-separated string (e.g. "000-master 001-secondary")