model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
9 stars 7 forks source link

[IGNORE] Test pr approval workflow #36

Closed jaisnan closed 2 weeks ago

jaisnan commented 2 weeks ago

Please add a description of your PR. If this is a solution to an open challenge, please explain your solution.

Don't forget to check our book to ensure your solution satisfy the overall requirements as well as the challenge success criteria.

Resolves #ISSUE-NUMBER

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