Merge pull request 'develop' (#27) from develop into main
All checks were successful
CD - Deploy on main / deploy (push) Has been skipped
All checks were successful
CD - Deploy on main / deploy (push) Has been skipped
Reviewed-on: #27
This commit was merged in pull request #27.
This commit is contained in:
@@ -9,6 +9,9 @@ jobs:
|
||||
deploy:
|
||||
runs-on: self-hosted
|
||||
|
||||
# 🔒 PROTECTION : empêche toute exécution via `act`
|
||||
if: ${{ !env.ACT }}
|
||||
|
||||
steps:
|
||||
|
||||
# 1) S'assurer que Node.js est installé
|
||||
@@ -99,7 +102,7 @@ jobs:
|
||||
|
||||
cd "$GITHUB_WORKSPACE"
|
||||
ls -l secrets/
|
||||
|
||||
|
||||
docker-compose -f docker-compose-prod.yml pull || true
|
||||
docker-compose -f docker-compose-prod.yml down --remove-orphans
|
||||
docker-compose -f docker-compose-prod.yml up -d --build
|
||||
|
||||
Reference in New Issue
Block a user