Update action.yml

SRI-CSL · Dec 17, 2024 · c2c67a4 · c2c67a4
1 parent 301e7b4
commit c2c67a4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/actions/test/action.yml b/.github/actions/test/action.yml
@@ -13,12 +13,12 @@ runs:
         # This is needed for yices2 to find libpoly.so.0. /usr/local/lib not searched by default?
         export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH}
         make MODE=${{ inputs.mode }} check
+        make MODE=${{ inputs.mode }} test
 
-    - name: Test Yices API and More
+    - name: Test Yices API
       shell: bash
       if: inputs.mode != 'gcov'
       run: |
         # This is needed for yices2 to find libpoly.so.0. /usr/local/lib not searched by default?
         export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH}
         make MODE=${{ inputs.mode }} check-api
-        make MODE=${{ inputs.mode }} test