-
Notifications
You must be signed in to change notification settings - Fork 36
feat: support importing assertions as part of a store #446
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
Conversation
fixing the linting tomorrow |
need some help with this - running golangci-lint gives |
@sujitha-av are you running |
75e42f1
to
881b5ad
Compare
Thanks @ewanharris! it works and have pushed the changes now |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Did some local testing and this looks good. Thank you @sujitha-av!
When attempting to merge looks like there was a potential race issue arising due to the shared |
Description
When importing a store, we usually import the model and the tuples from the file. But these changes enable us to also import the assertions (only Check assertions) from the Model Tests as a part of the store import.
References
closes #224
Review Checklist
main