s

MariaDB · Aug 10, 2023 · c375e28 · c375e28
1 parent e6a2394
commit c375e28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -40,7 +40,7 @@ jobs:
           github.ref == 'refs/heads/dev' &&
           github.repository == 'MariaDB/buildbot'
         run: |
-          ssh -p ${{ secrets.SERVER_PORT }} ${{ secrets.USER }}@${{ secrets.SERVER_IP }} "docker-compose -f /srv/dev/docker-compose/docker-compose.yaml down"
+          ssh -p ${{ secrets.SERVER_PORT }} ${{ secrets.USER }}@${{ secrets.SERVER_IP }} "[[ -f /srv/dev/docker-compose/docker-compose.yaml ]] && docker-compose -f /srv/dev/docker-compose/docker-compose.yaml down"
       - name: deploy
         if: >
           github.ref == 'refs/heads/dev' &&