Skip to content

docs: fix typo in Getting Started - #2014

Open
kanarus wants to merge 1 commit into
quint-co:mainfrom
kanarus:docs/fix-typo-in-getting-started
Open

docs: fix typo in Getting Started#2014
kanarus wants to merge 1 commit into
quint-co:mainfrom
kanarus:docs/fix-typo-in-getting-started

Conversation

@kanarus

@kanarus kanarus commented Aug 14, 2026

Copy link
Copy Markdown

Fix "... none of the balance should be less then zero" to "... less than zero".

  • I have read and I understand the Note on AI-assisted contributions
  • Changes manually tested locally and confirmed to work as described
    (including screenshots is helpful)
  • Tests added for any new code
  • Documentation added for any new functionality
  • Entries added to the respective CHANGELOG.md for any new functionality

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.

1 participant