ci: Fix issue in Docker CI

* Stop Docker CI pushing images from PR workflow runs
pull/6487/head
Reinier van der Leer 2023-12-03 17:35:03 +01:00 committed by GitHub
parent b1419e856c
commit b8b792e844
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -146,5 +146,6 @@ jobs:
exit $test_failure
- name: Push image to Docker Hub
- if: github.event_name == 'push' && github.ref_name == 'master'
name: Push image to Docker Hub
run: docker push ${{ env.DEPLOY_IMAGE_NAME }}:${{ env.DEV_IMAGE_TAG }}