From 50b76f2ea8ac222caad716adf2ea65875d07be19 Mon Sep 17 00:00:00 2001
From: sripwoud <me@sripwoud.xyz>
Date: Mon, 8 Jul 2024 11:13:43 +0200
Subject: [PATCH] ci: upload circomspect results as SARIF

---
 .github/workflows/main.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a3aa9ab..0945a3c 100644
--- 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'