Skip to content

fix(doc) clean up a couple of doc comment typos#8902

Merged
orizi merged 5 commits intostarkware-libs:mainfrom
ursulabauer:main
Dec 5, 2025
Merged

fix(doc) clean up a couple of doc comment typos#8902
orizi merged 5 commits intostarkware-libs:mainfrom
ursulabauer:main

Conversation

@ursulabauer
Copy link
Contributor

@ursulabauer ursulabauer commented Dec 5, 2025

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link
Collaborator

@orizi orizi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

@orizi reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @ursulabauer)

@orizi orizi enabled auto-merge December 5, 2025 09:21
@orizi orizi added this pull request to the merge queue Dec 5, 2025
Copy link
Collaborator

@orizi orizi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@orizi reviewed 3 of 3 files at r2, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @ursulabauer)

Merged via the queue into starkware-libs:main with commit 90c4382 Dec 5, 2025
2 checks passed
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.

3 participants