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

Docs improvements #423

Merged
merged 7 commits into from
Jul 3, 2024
Merged

Docs improvements #423

merged 7 commits into from
Jul 3, 2024

Conversation

nnsW3
Copy link
Contributor

@nnsW3 nnsW3 commented Jul 3, 2024

Rectify typographical inaccuracies

This PR addresses several typographical errors across various files in the project. The changes improve readability and maintain the professional standard of the documentation and code comments.

Justification
Typographical errors, while minor, can detract from the overall quality of the project. Correcting these errors ensures clarity and professionalism, making the project more accessible and understandable for current and future contributors.

nnsW3 added 6 commits July 3, 2024 12:56
Signed-off-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Signed-off-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Signed-off-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Signed-off-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Signed-off-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Signed-off-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
certora/specs/Enabled.spec Outdated Show resolved Hide resolved
@MathisGD
Copy link
Contributor

MathisGD commented Jul 3, 2024

thank you for your contribution :-)

Signed-off-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Copy link
Contributor

@MathisGD MathisGD left a comment

Choose a reason for hiding this comment

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

Certora verif is not passing, but it's normal (they will pass on main)

Copy link
Contributor

@QGarchery QGarchery left a comment

Choose a reason for hiding this comment

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

Thanks !

@MathisGD MathisGD merged commit 5617ec0 into morpho-org:main Jul 3, 2024
6 of 20 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