From a2ab3e861333d9233471ceee287a1a053a6bde66 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 13 May 2020 08:56:47 -0700
Subject: Linux CI: use both gcc and clang.

---
 .github/workflows/ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 73c265f..7122c73 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,6 +6,11 @@ jobs:
   linux:
 
     runs-on: ubuntu-latest
+    fail-fast: false
+    matrix:
+      compiler:
+        - 'clang'
+        - 'gcc'
     steps:
     - uses: actions/checkout@v1
     - name: Install valgrind
@@ -14,6 +19,7 @@ jobs:
     - name: Build and test
       env:
          CMAKE_OPTIONS: -DCMARK_SHARED=OFF
+         CC: ${{ matrix.compiler }}
       run: |
          make
          make test
-- 
cgit v1.2.3