diff options
| author |  Reiner Herrmann <reiner@reiner-h.de> | 2020-10-14 17:43:01 +0200 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2020-10-14 17:47:01 +0200 |
| commit | 6fd7e7318eda0a187f5233495bf42cf604f19255 (patch) | |
| tree | 4317fbe403afcd03d58471369e124d5f6b603b22 /.github/workflows | |
| parent | Merge pull request #3667 from Neo00001/patch-2 (diff) | |
| download | firejail-6fd7e7318eda0a187f5233495bf42cf604f19255.tar.gz firejail-6fd7e7318eda0a187f5233495bf42cf604f19255.tar.zst firejail-6fd7e7318eda0a187f5233495bf42cf604f19255.zip | |
build: enable CI build with scan-build
Diffstat (limited to '.github/workflows')
| -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: |