Add sarif from the benchmark to arficats

1c-syntax · Jun 6, 2024 · 9728860 · 9728860
1 parent 1623f32
commit 9728860
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/scripts/benchmark.py b/.github/scripts/benchmark.py
@@ -20,6 +20,8 @@ def some_func(arg):
  cmdArgs.append('-a')
  cmdArgs.append('-s')
  cmdArgs.append('ssl')
+ cmdArgs.append('-r')
+ cmdArgs.append('sarif')
  cmdArgs.append('-c')
  cmdArgs.append(pathToConfig)
  cmd = ' '.join(cmdArgs) 

diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -52,6 +52,12 @@ jobs:
  - name: Analyze ssl
  run: pytest .github/scripts/benchmark.py --benchmark-min-rounds=3 --benchmark-timer=time.time --benchmark-json=output.json --benchmark-verbose
 
+ - name: Archive results in SARIF
+ uses: actions/upload-artifact@v4
+ with:
+ name: "SARIF report"
+ path: bsl-ls.sarif
+
  - name: Generation badge benchmark
  if: github.event_name == 'push'
  run: python .github/scripts/gen-bandge.py