Skip to content

Add initial challenge template #10

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

Merged
merged 3 commits into from
Jun 11, 2024

Conversation

celinval
Copy link

@celinval celinval commented Jun 9, 2024

Add an initial template for challenges, and also a CI status badge for README and tools page.

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

@celinval celinval requested a review from a team as a code owner June 9, 2024 23:27
@celinval celinval enabled auto-merge (squash) June 11, 2024 17:29
@celinval celinval merged commit 5a369ec into model-checking:main Jun 11, 2024
2 checks passed
szlee118 referenced this pull request in stogaru/verify-rust-std Oct 17, 2024
Add an initial template for challenges, and also a CI status badge for
README and tools page.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
# 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