Skip to content

Remove extra backtick#8831

Closed
fryorcraken wants to merge 2 commits intonoir-lang:masterfrom
fryorcraken:docs/remove-backtick
Closed

Remove extra backtick#8831
fryorcraken wants to merge 2 commits intonoir-lang:masterfrom
fryorcraken:docs/remove-backtick

Conversation

@fryorcraken
Copy link

@fryorcraken fryorcraken commented Jun 7, 2025

Description

Problem

There is an unneeded backtick '`' in the command.

Summary*

Removed it

Additional Context

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

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

@github-actions
Copy link
Contributor

github-actions bot commented Jun 7, 2025

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.

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