Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: apply spellcheck #3143

Merged
merged 1 commit into from
Oct 13, 2023
Merged

chore: apply spellcheck #3143

merged 1 commit into from
Oct 13, 2023

Conversation

TomAFrench
Copy link
Member

Description

Problem*

Resolves

Summary*

This PR fixes a bunch of spellcheck warnings as reported by the vscode extension.

Documentation

  • This PR requires documentation updates when merged.

    • I will submit a noir-lang/docs PR.
    • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@kevaundray kevaundray added this pull request to the merge queue Oct 13, 2023
Merged via the queue into master with commit 99f44a4 Oct 13, 2023
27 checks passed
@kevaundray kevaundray deleted the tf/spellcheck branch October 13, 2023 15:30
TomAFrench added a commit that referenced this pull request Oct 13, 2023
* master:
  chore: apply spellcheck (#3143)
  feat: Add experimental REPL-based debugger (#2995)
  fix: do not perform dead instruction elimination on mod,div unless rhs is constant (#3141)
  chore: allow dependencies with the boost source license (BSL-1.0) (#3142)
  feat: Reuse witnesses which have been assigned constant values during ACIR gen (#3137)
  chore: Add Spell Checker to recommended VS Code extensions (#3136)
  chore: run `nargo fmt` on integration tests (#3059)
  feat(traits): allow multiple traits to share the same associated function name and to be implemented for the same type (#3126)
Sakapoi pushed a commit to Sakapoi/noir_fork that referenced this pull request Oct 19, 2023
Co-authored-by: Tom French <git@tomfren.ch>
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