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.

Sign up for GitHub

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

Jump to bottom

Update mirror 2 #3

Merged

bradbown merged 3 commits into main from update-mirror-2

Jun 13, 2024

Contributor

bradbown commented Jun 13, 2024

This PR implements issue(s) #

Checklist

I wrote new tests for my new core changes.
I have successfully ran tests, style checker and build against my new changes locally.
I have informed the team of any breaking changes if there are any.

bradbown added 3 commits

June 13, 2024 11:08


          Update mirror

42a9c08


          prover config

098c1b7


          update

8d3cc54

bradbown requested a review from a team as a code owner

June 13, 2024 10:52

bradbown merged commit 06d9412 into main

27 of 35 checks passed

bradbown deleted the update-mirror-2 branch

September 19, 2024 15:32

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet