-
Notifications
You must be signed in to change notification settings - Fork 3.2k
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
chore: Cleanup proofs actions #11858
Conversation
This stack of pull requests is managed by Graphite. Learn more about stacking. |
6aa2b50
to
5cba84b
Compare
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.
Nice reduction in boilerplate. I think it would be good to separate the tests and helper code but I'm open to making that change separately - there's only so much we should do in one PR.
Semgrep found 1 Do not use |
01501f7
to
efad023
Compare
5cba84b
to
53e4711
Compare
efad023
to
d583a2e
Compare
53e4711
to
cc6b003
Compare
2375ac7
to
6b1c210
Compare
Overview
Cleans up the proofs action tests, moving into the
proofs
package and supplying more helpers. Diff is a bit jarring, had to make some things inactions
public for other packages' consumption.