docker push on workflow manual dispatch

CGAL · Mar 27, 2024 · ea2b1ea · ea2b1ea
1 parent 64c11a3
commit ea2b1ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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