suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Upload LLVM scan-build results to GitHub

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2020-06-30 14:33:43 -04:00 committed by GitHub
parent 4bcaef330d
commit 45b97dba80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/scanbuild_static-analysis.yml vendored
View File

@ -42,7 +42,10 @@ jobs:
working-directory: ./racket/src working-directory: ./racket/src
run: | run: |
export cpus=$(grep -c ^processor /proc/cpuinfo) 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 - name: Tarballing
run: tar -cvjf racketcgc-report-${{ github.sha }}.tar.bz2 racketcgc-report run: tar -cvjf racketcgc-report-${{ github.sha }}.tar.bz2 racketcgc-report
- uses: actions/upload-artifact@v1 - uses: actions/upload-artifact@v1