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

deps: update foundry #10241

Merged
merged 1 commit into from
Apr 22, 2024
Merged

deps: update foundry #10241

merged 1 commit into from
Apr 22, 2024

Conversation

tynes
Copy link
Contributor

@tynes tynes commented Apr 22, 2024

Description

Updates foundry to 63fff3510408b552f11efb8196f48cfe6c1da664
which includes foundry-rs/foundry#7738.
This fixes the issue foundry-rs/foundry#7732
which was preventing #10106
from just working.

Props to the foundry devs for fixing our issues very quickly, unblocking
our ability to ship.

Need to follow up with a bump to ci-builder such that it includes this
release of foundry and then rebase #10106 on top so that it can pass
tests.

Updates foundry to `63fff3510408b552f11efb8196f48cfe6c1da664`
which includes foundry-rs/foundry#7738.
This fixes the issue foundry-rs/foundry#7732
which was preventing #10106
from just working.

Props to the foundry devs for fixing our issues very quickly, unblocking
our ability to ship.

Need to follow up with a bump to `ci-builder` such that it includes this
release of foundry and then rebase #10106 on top so that it can pass
tests.
@mds1 mds1 added this pull request to the merge queue Apr 22, 2024
Merged via the queue into develop with commit 4ff0740 Apr 22, 2024
72 checks passed
@mds1 mds1 deleted the deps/foundry-latest branch April 22, 2024 15:38
github-merge-queue bot pushed a commit that referenced this pull request Apr 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants