crib-integration-test only runs on push to develop

running on every commit to every PR would increase our GH runner costs too much

.github/workflows/build-publish-develop-pr.yml

@@ -154,6 +154,7 @@ jobs:
           fi
 
   crib-integration-test:
+    if: ${{ github.event.inputs.git_ref || github.ref }} == 'refs/heads/develop'
     runs-on: ubuntu-latest
     environment: integration
     needs: [split, image-tag]
@@ -164,6 +165,8 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/[email protected]
+        with:
+          ref: ${{ env.GIT_REF }}
 
       - uses: cachix/install-nix-action@ba0dd844c9180cbf77aa72a116d6fbc515d0e87b # v27
         with: