chore: Add manual trigger to run build/push action (#404)

Sometimes the GitHub action to push images does not get triggered despite apparently all filter conditions being met. Signed-off-by: Christian Kadner <[email protected]>
kserve · Jul 21, 2023 · da2f25a · da2f25a
1 parent ef26b75
commit da2f25a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,6 +1,7 @@
 name: Build
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main
@@ -53,7 +54,7 @@ jobs:
           driver-opts: network=host
 
       - name: Login to DockerHub
-        if: github.event_name == 'push'
+        if: github.event_name != 'pull_request'
         uses: docker/login-action@v2
         with:
           username: ${{ secrets.DOCKER_USER }}