From e029de6080b24c4a10838cc0c5742d4c488429fa Mon Sep 17 00:00:00 2001
From: Nathan Moinvaziri <nathan@nathanm.com>
Date: Mon, 10 Oct 2022 18:40:09 -0700
Subject: [PATCH] CI: Run infcover during test runs.

---
 .github/workflows/configure.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/configure.yml b/.github/workflows/configure.yml
index da311a8..b8b8e0d 100644
--- a/.github/workflows/configure.yml
+++ b/.github/workflows/configure.yml
@@ -43,7 +43,9 @@ jobs:
       working-directory: ${{ matrix.build-dir }}
 
     - name: Run test cases
-      run: make test
+      run: |
+        make test
+        make cover
       working-directory: ${{ matrix.build-dir }}
 
     - name: Upload build errors