Skip to content

ci: add typos spell-checking workflow#379

Merged
Bisht13 merged 3 commits into
mainfrom
px/ci-typos-spell-check
Mar 24, 2026
Merged

ci: add typos spell-checking workflow#379
Bisht13 merged 3 commits into
mainfrom
px/ci-typos-spell-check

Conversation

@Bisht13

@Bisht13 Bisht13 commented Mar 24, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Adds a typos spell-checking job to the Rust CI workflow using crate-ci/typos@v1.44.0
  • Adds _typos.toml configuration to suppress false positives (Groth16 protocol name, Noir lamda convention, notebook outputs, base64 mock keys, Typst labels)
  • Fixes all existing typos across Rust, Go, and Python sources (17 files)

Inspired by WizardOfMenlo/whir#240.

Test plan

  • typos passes locally with zero errors
  • Go recursive-verifier compiles after identifier renames (CommittmentCommitment, StatmentStatement)
  • CI typos job runs successfully on this PR

Add a typos CI job using crate-ci/typos@v1.44.0 to catch common
spelling mistakes. Configure _typos.toml to suppress false positives
(Groth16 protocol name, Noir lambda convention, notebook outputs,
base64 mock keys, Typst labels). Fix all existing typos across
Rust, Go, and Python sources.
@Bisht13 Bisht13 requested a review from ashpect March 24, 2026 10:32
@Bisht13 Bisht13 requested a review from veljkovranic March 24, 2026 13:10
@Bisht13 Bisht13 merged commit 4ba0c32 into main Mar 24, 2026
6 checks passed
@Bisht13 Bisht13 deleted the px/ci-typos-spell-check branch March 24, 2026 13:31
dcbuild3r pushed a commit that referenced this pull request May 16, 2026
ci: add typos spell-checking workflow
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.

2 participants