Skip to content
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

feat: Added sports example #318

Merged
merged 18 commits into from
Oct 31, 2024
Merged

feat: Added sports example #318

merged 18 commits into from
Oct 31, 2024

Conversation

chilaraiSxt
Copy link
Contributor

Rationale for this change

Added an example of sports

What changes are included in this PR?

Sports list file as a csv file. Proof queries for the sports example and test script changes

Are these changes tested?

Yes.

@Dustin-Ray
Copy link
Contributor

Hi @chilaraiSxt, would you mind resolving the merge conflict and then we can merge? Thanks

@chilaraiSxt
Copy link
Contributor Author

Hi @chilaraiSxt, would you mind resolving the merge conflict and then we can merge? Thanks

Done

Dustin-Ray
Dustin-Ray previously approved these changes Oct 29, 2024
Copy link
Contributor

@Dustin-Ray Dustin-Ray left a comment

Choose a reason for hiding this comment

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

LGTM - Thank you!

Dustin-Ray
Dustin-Ray previously approved these changes Oct 29, 2024
Copy link
Contributor

@Dustin-Ray Dustin-Ray left a comment

Choose a reason for hiding this comment

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

LGTM

@chilaraiSxt chilaraiSxt disabled auto-merge October 31, 2024 05:37
Copy link
Contributor

@Dustin-Ray Dustin-Ray left a comment

Choose a reason for hiding this comment

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

LGTM - Thank you!

@chilaraiSxt chilaraiSxt merged commit 905e9c7 into main Oct 31, 2024
12 checks passed
Copy link

🎉 This PR is included in version 0.35.1 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants