Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add disclaimer, and fix links #5

Merged
merged 7 commits into from
Jun 6, 2024

Conversation

jaisnan
Copy link

@jaisnan jaisnan commented Jun 3, 2024

Issue #, if available:

Description of changes:
Adds disclaimer that this project is not endorsed by Rust foundation and fixes license links.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

README.md Outdated Show resolved Hide resolved
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.

I just have one minor question

@jaisnan jaisnan requested a review from a team as a code owner June 6, 2024 19:21
README.md Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
jaisnan and others added 2 commits June 6, 2024 16:48
Co-authored-by: Celina G. Val <celinval@amazon.com>
Co-authored-by: Celina G. Val <celinval@amazon.com>
@jaisnan jaisnan merged commit 0d89cc8 into model-checking:main Jun 6, 2024
jaisnan added a commit that referenced this pull request Jun 7, 2024
*Issue #, if available:*

*Description of changes:*
Adds disclaimer that this project is not endorsed by Rust foundation and
fixes license links.

By submitting this pull request, I confirm that you can use, modify,
copy, and redistribute this contribution, under the terms of your
choice.

---------

Co-authored-by: Celina G. Val <celinval@amazon.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants