fix publish-solvers-package.yml

.github/workflows/publish-solvers-package.yml

@@ -4,7 +4,10 @@ name: Push solvers package
 on:
   # only trigger manually, this is independent from halmos releases
   workflow_dispatch:
-
+  push:
+    paths:
+      - packages/solvers/**/*
+      - .github/workflows/publish-solvers-package.yml
 env:
   IMAGE_NAME: solvers
 
@@ -17,18 +20,16 @@ jobs:
       contents: read
 
     steps:
-      - uses: actions/checkout@v4
-
-      - name: Build image
-        run: docker build . --file packages/solvers/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
-
       - name: Login to GitHub Container Registry
         uses: docker/login-action@v3
         with:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
+      - name: Build image
+        run: docker build . --file packages/solvers/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
+
       - name: Push image
         run: |
           IMAGE_ID=ghcr.io/${{ github.repository_owner }}/$IMAGE_NAME