Skip to content

Conversation

@zhassan-aws
Copy link

@zhassan-aws zhassan-aws commented Aug 16, 2024

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

Rendered.

@zhassan-aws zhassan-aws requested a review from a team as a code owner August 16, 2024 23:15
Copy link

@celinval celinval left a comment

Choose a reason for hiding this comment

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

Looks good to me. Thanks

@zhassan-aws zhassan-aws enabled auto-merge (squash) August 20, 2024 18:41
@zhassan-aws zhassan-aws merged commit 359fe20 into model-checking:main Aug 20, 2024
@zhassan-aws zhassan-aws deleted the string-safety branch August 20, 2024 18:50
szlee118 pushed a commit to stogaru/verify-rust-std that referenced this pull request Oct 17, 2024
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Michael Tautschnig <[email protected]>
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