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

[automated] Fix typos #1118

Merged
merged 2 commits into from
Feb 12, 2024
Merged

[automated] Fix typos #1118

merged 2 commits into from
Feb 12, 2024

Conversation

github-actions[bot]
Copy link
Contributor

Fixes typos found by running typos --write-changes
Commit: 62f4c83
Workflow run: https://github.com/lurk-lab/lurk-rs/actions/runs/7865563052

Unfixed typos:

Reviewers: Please manually fix & commit the following typos:

error: `ot` should be `to`, `of`, `or`, `not`
  --> ./README.md:33:91
   |
33 | - SuperNova is Lurk's in-development NIVC backend. It uses Arecibo's [SuperNova extension ot the Nova proving system](https://github.com/lurk-lab/arecibo/tree/dev/src/supernova) and the Pasta Curves.
   |                                                                                           ^^
   |
error: `expresions` should be `expression`, `expressions`
  --> ./src/field.rs:6:32
  |
6 | //! relating this field to the expresions of the language.
  |                                ^^^^^^^^^^
  |
error: `ot` should be `to`, `of`, `or`, `not`
  --> ./src/cli/repl/meta_cmd.rs:103:37
    |
103 |             "The state's env is set ot the result.",
    |                                     ^^
    |
```> [!NOTE]
> If a false positive is found, please add it to `_typos.toml` as per the [documentation](https://github.com/crate-ci/typos/tree/master?tab=readme-ov-file#false-positives)

@github-actions github-actions bot requested a review from a team as a code owner February 12, 2024 00:05
@github-actions github-actions bot added the automated issue Reported by a bot label Feb 12, 2024
@github-actions github-actions bot requested a review from a team as a code owner February 12, 2024 00:05
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Feb 12, 2024
@github-actions github-actions bot requested review from a team as code owners February 12, 2024 00:05
@huitseeker huitseeker added this pull request to the merge queue Feb 12, 2024
Merged via the queue into main with commit 35a17ea Feb 12, 2024
11 checks passed
@huitseeker huitseeker deleted the patch/fix-typos branch February 12, 2024 16:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automated issue Reported by a bot documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants