ci: upload circomspect results as SARIF

privacy-scaling-explorations · Jul 8, 2024 · 50b76f2 · 50b76f2
1 parent a2d4d75
commit 50b76f2
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -43,7 +43,12 @@ jobs:
                   tool: circomspect
 
             - name: Analyze circuits
-              run: yarn lint
+              run: circomspect packages/*/src -L ./node_modules/circomlib/circuits -s sarif
+
+            - name: Upload SARIF file
+              uses: github/codeql-action/upload-sarif@v3
+              with:
+                  sarif_file: sarif
 
     test:
         if: needs.changed-files.outputs.any_changed == 'true'