From 45b97dba805f7579dccbcb82cadbd407ece5fc0e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 30 Jun 2020 14:33:43 -0400 Subject: [PATCH] Upload LLVM scan-build results to GitHub --- .github/workflows/scanbuild_static-analysis.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/scanbuild_static-analysis.yml b/.github/workflows/scanbuild_static-analysis.yml index 5c4e149360..85bc1a94d3 100644 --- a/.github/workflows/scanbuild_static-analysis.yml +++ b/.github/workflows/scanbuild_static-analysis.yml @@ -42,7 +42,10 @@ jobs: working-directory: ./racket/src run: | export cpus=$(grep -c ^processor /proc/cpuinfo) - scan-build -o ../../racketcgc-report -analyzer-config 'crosscheck-with-z3=true' make -j$((cpus + 1)) + scan-build -sarif -o ../../racketcgc-report -analyzer-config 'crosscheck-with-z3=true' make -j$((cpus + 1)) + - name: Upload SARIF + uses: github/codeql-action/upload-sarif@v1 + sarif_file: racketcgc-report - name: Tarballing run: tar -cvjf racketcgc-report-${{ github.sha }}.tar.bz2 racketcgc-report - uses: actions/upload-artifact@v1