-
Notifications
You must be signed in to change notification settings - Fork 3.5k
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
build: bump forge to the 2023-12-14 nightly #8612
Conversation
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## develop #8612 +/- ##
===========================================
- Coverage 34.61% 34.57% -0.05%
===========================================
Files 167 167
Lines 7162 7162
Branches 1212 1212
===========================================
- Hits 2479 2476 -3
- Misses 4532 4537 +5
+ Partials 151 149 -2
Flags with carried forward coverage won't be shown. Click here to find out more. |
WalkthroughWalkthroughThe provided text indicates a request for a summary of changes based on a Changes
Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on X ? TipsChat with CodeRabbit Bot (
|
To do so, one must use github actions to trigger the release and then approve it to build/publish on circleci |
Description
Context:
We now want to upgrade to the latest forge because our formal verification efforts with RV leverage forge cheats that were not finalized and working properly until a few days ago.
Additional context
I believe @tynes mentioned that when upgrading foundry we also need to trigger a release of
ci-builder
. Is there anything I need to do for that on this PR?