Skip to content

chore(ci): remove broken Foundry CI#151

Merged
drewstone merged 1 commit into
mainfrom
chore/remove-foundry-ci
May 20, 2026
Merged

chore(ci): remove broken Foundry CI#151
drewstone merged 1 commit into
mainfrom
chore/remove-foundry-ci

Conversation

@tangletools
Copy link
Copy Markdown
Contributor

The Foundry CI job has been red on every PR since the codebase grew past the ubuntu-latest runner's 16 GB memory budget. forge build --sizes gets OOM-killed (exit 143) during the 352-file via-IR compile around the 20-minute mark — same failure on #149 and #150.

Until we have a larger runner (or split the compile graph), this job is pure noise: it blocks nothing (PRs are merged over red CI as a matter of course) and surfaces no signal a developer can act on.

EIP-170 facet sizes are now enforced via test/FacetSize.t.sol (#150), which is much cheaper to run and produces a precise overage number on regression. Local forge test remains the source of truth for correctness.

Test plan

  • Merge — confirm the orange-X status disappears from future PRs
  • Track the "restore CI" follow-up separately (larger runner or sharded build)

The Foundry CI job has been red on every PR since the codebase grew past
the ubuntu-latest runner's 16 GB memory budget. `forge build --sizes`
gets OOM-killed (exit 143) during the 352-file via-IR compile around the
20-minute mark — same failure on every commit including the now-merged
#149 and #150.

Until we have access to a larger runner (or split the compile graph),
this job is pure noise: it blocks no merge (PRs are merged over red CI
as a matter of course) and surfaces no signal a developer can act on.

EIP-170 facet sizes are now enforced via `test/FacetSize.t.sol` (added
in #150), which is much cheaper to run and produces a precise overage
number on regression. Local `forge test` remains the source of truth
for correctness.

Restore once we have a runner with enough RAM (or a leaner compile),
or replace with a sharded matrix that fits each shard inside 16 GB.
@drewstone drewstone merged commit 8776025 into main May 20, 2026
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