From 1cb3967e5eccfabf60789a1974545dc4518a7d32 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
Date: Mon, 16 Dec 2024 22:41:13 -0800
Subject: [PATCH] Fixes GitHub coverage issue (#544)

* Update action.yml

* Update action.yml
---
 .github/actions/test/action.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/actions/test/action.yml b/.github/actions/test/action.yml
index 0ac3e6290..fc102eb50 100644
--- a/.github/actions/test/action.yml
+++ b/.github/actions/test/action.yml
@@ -13,5 +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 }} check-api
         make MODE=${{ inputs.mode }} test
+
+    - 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