summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-13 08:56:47 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-13 08:56:47 -0700
commita2ab3e861333d9233471ceee287a1a053a6bde66 (patch)
tree6cf3a35d7acf6c456259a21a635d921cc08e5644 /.github/workflows
parent5bc4802795b140b104728e203412b0616a751deb (diff)
Linux CI: use both gcc and clang.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yml6
1 files changed, 6 insertions, 0 deletions
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