Allow manual builds for projects which are not built automatically

restake · Jul 11, 2024 · b0b837a · b0b837a
1 parent 3307c19
commit b0b837a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -63,7 +63,7 @@ jobs:
 
       - id: "early-exit"
         name: "Early exit"
-        if: "${{ env.DEPOT_AUTOMATIC_BUILDS == 'false' }}"
+        if: "${{ env.DEPOT_AUTOMATIC_BUILDS == 'false' && github.event_name != 'workflow_dispatch' }}"
         run: |
           gh run cancel ${{ github.run_id}}
           gh run watch ${{ github.run_id}}

diff --git a/scripts/centauri/build.sh → scripts/picasso/build.sh b/scripts/centauri/build.sh → scripts/picasso/build.sh