Skip to content

Tidy crypto #7009

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

Merged
merged 12 commits into from
May 16, 2025
Merged

Tidy crypto #7009

merged 12 commits into from
May 16, 2025

Conversation

achamayou
Copy link
Member

@achamayou achamayou commented May 14, 2025

Follow up to #7006. Quite rough still, but passes at least, and enforces quite a lot of checks. Should be refined though.

@achamayou achamayou requested a review from a team as a code owner May 14, 2025 10:44
@achamayou achamayou mentioned this pull request May 14, 2025
13 tasks
@achamayou achamayou enabled auto-merge May 14, 2025 12:59
@achamayou achamayou added this pull request to the merge queue May 14, 2025
@achamayou achamayou removed this pull request from the merge queue due to a manual request May 14, 2025
@achamayou achamayou marked this pull request as draft May 14, 2025 13:57
@achamayou achamayou marked this pull request as ready for review May 15, 2025 17:07
@achamayou achamayou added this pull request to the merge queue May 16, 2025
Merged via the queue into microsoft:main with commit ab5a337 May 16, 2025
15 checks passed
@achamayou achamayou deleted the tidy_crypto branch May 16, 2025 15:09
@maxtropets maxtropets mentioned this pull request May 20, 2025
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