From 262e509be0fc5aeeb96f7856879e8e5839155c00 Mon Sep 17 00:00:00 2001
From: Rafael Felix Correa <rafael.felix@gmail.com>
Date: Wed, 13 Nov 2024 16:08:36 +0100
Subject: [PATCH] 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 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build-publish-develop-pr.yml b/.github/workflows/build-publish-develop-pr.yml
index 6569ab5dc1d..2ce5fa5b9ac 100644
--- a/.github/workflows/build-publish-develop-pr.yml
+++ b/.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/checkout@v4.2.1
+        with:
+          ref: ${{ env.GIT_REF }}
 
       - uses: cachix/install-nix-action@ba0dd844c9180cbf77aa72a116d6fbc515d0e87b # v27
         with: