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

Fixing typo + other things I see in the doc #676

Merged
merged 1 commit into from
Jan 11, 2025
Merged

Conversation

bcm-at-zama
Copy link
Contributor

@bcm-at-zama bcm-at-zama commented Dec 26, 2024

small typo + other proposed changes I am less sure of

@bcm-at-zama bcm-at-zama force-pushed the fixing_typo branch 2 times, most recently from 063f6bb to 97c7dd3 Compare December 26, 2024 14:00
@bcm-at-zama bcm-at-zama changed the title Fixing typo Fixing typo + other things I see in the doc Dec 26, 2024
@bcm-at-zama
Copy link
Contributor Author

(if everything is good, worth a squash)

@PacificYield
Copy link
Contributor

PacificYield commented Dec 30, 2024

It looks good but can you run prettier before squashing/merging, please? @bcm-at-zama

@bcm-at-zama bcm-at-zama force-pushed the fixing_typo branch 2 times, most recently from 79ae4bf to 0bf48ce Compare January 2, 2025 09:14
@bcm-at-zama
Copy link
Contributor Author

It's squashed and prettier, I let you guys merge it whenever it's the right moment

return decryptedCounter;
}
}
/// @dev Decrypted state variable
Copy link
Contributor Author

Choose a reason for hiding this comment

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

modified by prettier

@gabrielstoica
Copy link

Hi! This might be related: #683.

Copy link
Contributor

@poppyseedDev poppyseedDev left a comment

Choose a reason for hiding this comment

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

LGTM, about to merge.

@poppyseedDev poppyseedDev merged commit c10308d into main Jan 11, 2025
4 checks passed
@poppyseedDev poppyseedDev deleted the fixing_typo branch January 11, 2025 14:02
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.

5 participants