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

Look at uploaded files.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2020-07-01 11:33:34 -04:00
parent 96c93abe7f
commit 33498730ed
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -16,7 +16,7 @@ jobs:
- name: Install dependencies - name: Install dependencies
run: | run: |
apt-get update apt-get update
apt-get install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git apt-get install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git tree
- uses: actions/checkout@v2 - uses: actions/checkout@v2
with: with:
fetch-depth: 100 fetch-depth: 100
@ -43,6 +43,7 @@ jobs:
run: | run: |
export cpus=$(grep -c ^processor /proc/cpuinfo) export cpus=$(grep -c ^processor /proc/cpuinfo)
scan-build -sarif -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))
tree ../../racketcgc-report/
- name: Upload SARIF - name: Upload SARIF
uses: github/codeql-action/upload-sarif@v1 uses: github/codeql-action/upload-sarif@v1
if: always() if: always()