From ea2b1ea9b95bef6938edde3960d68567e6794b0a Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 27 Mar 2024 21:51:03 +0100
Subject: [PATCH] docker push on workflow manual dispatch

---
 .github/workflows/tests.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index fa255bb..0a3676b 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -25,7 +25,7 @@ jobs:
 
     - name: Push images
       run: |
-        if ${{ github.event_name == 'push' || github.event_name == 'schedule' }} && ${{ github.ref == 'refs/heads/master' }}; then
+        if ${{ github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'}} && ${{ github.ref == 'refs/heads/master' }}; then
           docker login -u maxgimeno -p ${{ secrets.PASSWD }}
           bash -x ./push.sh ${{ matrix.test_platform }}
         else