Skip to content

ci: add SARIF filtering for circomspect ignore rules#28

Open
0x471 wants to merge 1 commit intozk-kit:mainfrom
0x471:ci/circomspect-ignore
Open

ci: add SARIF filtering for circomspect ignore rules#28
0x471 wants to merge 1 commit intozk-kit:mainfrom
0x471:ci/circomspect-ignore

Conversation

@0x471
Copy link
Contributor

@0x471 0x471 commented Jan 20, 2026

Description

This PR adds the ability to suppress specific circomspect warnings in CI by filtering SARIF output

Changes

  • Added .circomspectignore.yaml file for defining rules to suppress
  • Implementedscripts/filter-sarif.ts that reads circomspect SARIF output and filters out entries matching ignore rules
  • Updated .github/workflows/main.yml to use filtered SARIF
  • Added yarn lint:sarif command for local testing

Example .circomspectignore.yaml

# Example:
   ignore:
     - rule: CS0010
       files:
         - packages/utils/src/float.circom
         - packages/utils/src/safe-comparators.circom:17

Related Issue(s)

Closes #12

Checklist

  • I have read and understand the contributor guidelines and code of conduct.
  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • My changes generate no new warnings
  • I have run yarn style without getting any errors
  • I have added tests that prove my fix is effective or that my feature works
  • New and existing unit tests pass locally with my changes

@0x471 0x471 requested a review from vplasencia as a code owner January 20, 2026 20:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Ignore specific files and/or lines in circomspect checks

1 participant