improve ci (#463)

* Update action.yml * Update action.yml
SRI-CSL · Oct 6, 2023 · f2a53c5 · f2a53c5
1 parent 2cd77a6
commit f2a53c5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
@@ -14,6 +14,7 @@ runs:
   using: composite
   steps:
     - name: Build and install libpoly
+      if: inputs.config-opt == '--enable-mcsat'
       shell: bash
       run: |
         pushd .
@@ -25,6 +26,7 @@ runs:
         sudo make install
         popd
     - name: Build and install CUDD
+      if: inputs.config-opt == '--enable-mcsat'
       shell: bash
       run: |
         pushd .