ci: don't push images from PRs

Fixes #203
Helps #200 (need to manually delete images)

.github/workflows/continuous-integration.yml

@@ -92,8 +92,8 @@ jobs:
           context: .
           file: docker/Dockerfile
           target: main
-          # Don't try to push if the event is a PR from a fork or the user is dependabot
-          push: ${{ github.event_name != 'pull_request' || (github.event.pull_request.head.repo.full_name == github.repository && github.actor != 'dependabot') }}
+          # Don't try to push if the event is a PR, from a fork, or the user is dependabot
+          push: ${{ github.event_name != 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository && github.actor != 'dependabot') }}
           tags: ${{ steps.meta-main.outputs.tags }}
           labels: ${{ steps.meta-main.outputs.labels }}
       - name: Docker meta dev
@@ -112,7 +112,7 @@ jobs:
           context: .
           file: docker/Dockerfile
           target: dev
-          # Don't try to push if the event is a PR from a fork
-          push: ${{ github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository }}
+          # Don't try to push if the event is a PR or from a fork
+          push: ${{ github.event_name != 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository }}
           tags: ${{ steps.meta-dev.outputs.tags }}
           labels: ${{ steps.meta-dev.outputs.labels }}