cmark

Unnamed repository; edit this file 'description' to name the repository.

commit 35535d582215d00ab1270ec2673e4fc3f5675b79
parent 5a13e06b02755b1d75192d5d00b054437f0e13c3
Author: John MacFarlane <jgm@berkeley.edu>
Date:   Wed, 13 May 2020 09:47:25 -0700

CI: Another attempt to add clang-tidy.

Diffstat:
M.github/workflows/ci.yml | 9++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,9 +9,10 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+
     - uses: actions/checkout@v1
     - name: clang-tidy check
-      uses: muxee/clang-tidy-action@0.0.1-rc1
+      run: |
 
   linux:
 
@@ -29,13 +30,19 @@ jobs:
             cpp: 'g++'
     env:
        CMAKE_OPTIONS: ${{ matrix.cmake_opts }}
+       CMAKE_CXX_CLANG_TIDY: "clang-tidy -checks=-*,readability-*"
        CC: ${{ matrix.compiler.c }}
        CXX: ${{ matrix.compiler.cpp }}
+
     steps:
     - uses: actions/checkout@v1
     - name: Install valgrind
       run: |
          sudo apt install -y valgrind
+    - name: Install clang-tidy
+      run: |
+        sudo apt-get install -y clang-tidy-9
+        sudo update-alternatives --install /usr/bin/clang-tidy clang-tidy /usr/bin/clang-tidy-9 100
     - name: Build and test
       run: |
          make