Skip to content

fix: remove dead halmos-cheatcodes dependency#155

Open
Tranquil-Flow wants to merge 1 commit into
devfrom
fix/halmos-cheatcodes-dep
Open

fix: remove dead halmos-cheatcodes dependency#155
Tranquil-Flow wants to merge 1 commit into
devfrom
fix/halmos-cheatcodes-dep

Conversation

@Tranquil-Flow
Copy link
Copy Markdown

Summary

  • Upstream a16z/halmos-cheatcodes dropped its package.json, breaking yarn install for all contributors
  • The dependency was completely unused — no Solidity file imports from halmos-cheatcodes
  • Removed from package.json, foundry.toml remappings, and remappings.txt

Closes #154

Test plan

  • yarn install succeeds
  • forge build succeeds
  • All 99 unit tests pass

🤖 Generated with Claude Code

@Tranquil-Flow Tranquil-Flow force-pushed the fix/halmos-cheatcodes-dep branch from c4554ec to f4db17c Compare April 4, 2026 23:17
The upstream repo (a16z/halmos-cheatcodes) dropped its package.json,
breaking yarn install for all contributors. The dependency was unused —
no Solidity file imports from halmos-cheatcodes.

Removes from package.json, foundry.toml remappings, and remappings.txt.

Closes #154
@Tranquil-Flow Tranquil-Flow force-pushed the fix/halmos-cheatcodes-dep branch from f4db17c to 99cd519 Compare April 4, 2026 23:49
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.

fix: halmos-cheatcodes dependency pinned to deleted commit

1 participant