From 0b17d4f059e25eeaac14effecc6bfb2ce7892f15 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 28 Mar 2021 11:14:44 -0400
Subject: [PATCH] CI: Run coverage with SystemC

---
 .github/workflows/coverage.yml | 18 +++---------------
 1 file changed, 3 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 3e35f21e2..a62fad944 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -23,8 +23,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os:
-        - ubuntu-20.04
+        os: [ ubuntu-20.04 ]
     runs-on: ${{ matrix.os }}
     env:
       CI_BUILD_STAGE_NAME: build
@@ -64,22 +63,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os:
-        - ubuntu-20.04
+        os: [ ubuntu-20.04 ]
         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: ${{ matrix.os }}