ci: support toggling releases on/off for ci runs

ash-project · Jan 26, 2025 · 24045c3 · 24045c3
1 parent 8372310
commit 24045c3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/ash-ci.yml b/.github/workflows/ash-ci.yml
@@ -5,6 +5,9 @@ on:
       HEX_API_KEY:
         required: false
     inputs:
+      release:
+        type: boolean
+        default: true
       publish-docs:
         type: boolean
         default: true
@@ -413,7 +416,7 @@ jobs:
       - dialyzer
       - build-dev
       - deps
-    if: ${{ always() && !failure() && !cancelled() && startsWith(github.ref, 'refs/tags/v') }}
+    if: ${{ inputs.release && always() && !failure() && !cancelled() && startsWith(github.ref, 'refs/tags/v') }}
     runs-on: ubuntu-latest
     name: Release
     steps:

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,5 +18,6 @@ jobs:
       HEX_API_KEY: ${{ secrets.HEX_API_KEY }}
     with:
       sat-solver: ${{ matrix.sat_solver }}
-      igniter-upgrade: ${{matrix.sat_solver == 'SimpleSat'}}
+      igniter-upgrade: ${{matrix.sat_solver == 'Picosat'}}
       publish-docs: ${{matrix.sat_solver == 'Picosat'}}
+      release: ${{matrix.sat_solver == 'Picosat'}}