diff options
-rw-r--r-- | .github/workflows/build.yml | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 2e46a583f..5ee3d733d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml | |||
@@ -25,11 +25,16 @@ jobs: | |||
25 | run: CC=clang-10 ./configure --enable-fatal-warnings | 25 | run: CC=clang-10 ./configure --enable-fatal-warnings |
26 | - name: make | 26 | - name: make |
27 | run: make | 27 | run: make |
28 | # Disabled for now because of broken clang-10 support: https://github.com/actions/virtual-environments/issues/1536 | 28 | scan-build: |
29 | # - name: install clang tools 10 | 29 | runs-on: ubuntu-20.04 |
30 | # run: sudo apt-get install clang-tools-10 | 30 | steps: |
31 | # - name: scan-build | 31 | - uses: actions/checkout@v2 |
32 | # run: make clean && NO_EXTRA_CFLAGS="yes" scan-build-10 make | 32 | - name: install clang-tools-10 |
33 | run: sudo apt-get install clang-tools-10 | ||
34 | - name: configure | ||
35 | run: CC=clang-10 ./configure --enable-fatal-warnings | ||
36 | - name: scan-build | ||
37 | run: NO_EXTRA_CFLAGS="yes" scan-build-10 --status-bugs make | ||
33 | cppcheck: | 38 | cppcheck: |
34 | runs-on: ubuntu-20.04 | 39 | runs-on: ubuntu-20.04 |
35 | steps: | 40 | steps: |