Make build step optional

eclipse-zenoh · Sep 27, 2023 · 329f598 · 329f598
1 parent d6da961
commit 329f598
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -26,6 +26,9 @@ on:
       doc:
         description: "generate doc"
         type: boolean
+      build:
+        description: "build"
+        type: boolean
       publish:
         description: "publish"
         type: boolean
@@ -174,6 +177,7 @@ jobs:
 
   builds:
     name: Build for ${{ matrix.job.target }} on ${{ matrix.job.os }}
+    if: ${{ !(github.event.inputs.build == 'false') }}
     needs: checks
     runs-on: ${{ matrix.job.os }}
     strategy: