Skip to content

ci: pin foundry to v1.2.3 in Dockerfile.foundry #494

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

Merged
topocount merged 2 commits into from
Aug 5, 2026
Merged

ci: pin foundry to v1.2.3 in Dockerfile.foundry #494

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1ba8f8d
ci: pin foundry to v1.2.3 in Dockerfile.foundry
topocount Aug 5, 2026
c4aa4ea
Merge branch 'main' into kjs/neyn-13118-pin-foundry-in-dockerfile
topocount Aug 5, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 10 additions & 1 deletion Dockerfile.foundry
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,15 @@ RUN apt-get update -y && apt-get install -y bash curl git gzip netcat-openbsd

RUN curl --proto '=https' --tlsv1.2 -L "https://foundry.paradigm.xyz" | bash
ENV PATH="$PATH:/root/.foundry/bin"
RUN foundryup --install stable

# Pinned rather than tracking `stable`, which is a moving target: it resolves to
# v1.7.1 today, so the deployer image builds with a different toolchain than the
# jobs in .github/workflows/ci.yml do.
#
# This is one half of that parity, not the whole of it. Those jobs still install
# `stable` on main, and the halmos job pins nothing at all; the matching host pin
# is in #489 and has not merged yet. v1.2.3 is the version that reproduces the
# checked-in formatting, which is what #489 pins to, so bump both together.
RUN foundryup --install v1.2.3

ENV RUST_BACKTRACE=full
Loading