ci: allow turning off docs publishing

ash-project · Jan 23, 2025 · 7c19016 · 7c19016
1 parent 4853724
commit 7c19016
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
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:
+      publish-docs:
+        type: boolean
+        default: true
       spark-formatter:
         type: boolean
         default: true
@@ -76,6 +79,7 @@ jobs:
   build-docs:
     name: mix docs
     runs-on: ubuntu-latest
+    if: ${{inputs.publish-docs}}
     needs:
       - build-test
     steps:
@@ -93,7 +97,7 @@ jobs:
     needs:
       - build-test
       - build-docs
-    if: github.ref == 'refs/heads/main'
+    if: ${{inputs.publish-docs && github.ref == 'refs/heads/main'}}
     permissions:
       pages: write
       id-token: write

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -19,3 +19,4 @@ jobs:
     with:
       sat-solver: ${{ matrix.sat_solver }}
       igniter-upgrade: ${{matrix.sat_solver == 'SimpleSat'}}
+      publish-docs: ${{matrix.sat_solver == "Picosat"}}