From 014bffdf5ec4025ed46d55996f2871db092ecd4f Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 28 Mar 2021 12:47:35 -0400
Subject: [PATCH] CI: Run coverage with SystemC

---
 .github/workflows/coverage.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index bfa7e98ac..81ce290f8 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -62,7 +62,17 @@ jobs:
         test:
         - vlt-
         - vltmt-
-        num: [ 0 1 2 3 4 5 6 7 8 9 ]
+        num:
+        - 0
+        - 1
+        - 2
+        - 3
+        - 4
+        - 5
+        - 6
+        - 7
+        - 8
+        - 9
         include:
         - { test: dist, num: '' }
     runs-on: ubuntu-20.04