Update action.yml

SRI-CSL · Jan 9, 2024 · 51d772b · 51d772b
1 parent ce04f1b
commit 51d772b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/actions/test/action.yml b/.github/actions/test/action.yml
@@ -13,3 +13,4 @@ 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 }} check-api