Skipping publish should skip index rebuild

Signed-off-by: Ben Rockwood <[email protected]>
mondoohq · Oct 5, 2023 · de798b4 · de798b4
1 parent 49532e3
commit de798b4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/providers.yaml b/.github/workflows/providers.yaml
@@ -144,6 +144,7 @@ jobs:
   provider-index:
     needs: [provider-build, scoping]
     runs-on: self-hosted
+    if: ${{ github.event.inputs.skip_publish == 'false' }}
     steps:
       - name: Trigger Reindex of releases.mondoo.com
         uses: peter-evans/repository-dispatch@v2