Update action.yml

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