You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
So the two package managers I evaluated were yarn vs pnpm. Yarn is unclear, with multiple major versions and a mediocre adoption rate. So, the only thing left is pnpm, which seems to be a good choice:
This PR:
- Fixes#349
- Upgrades the certora-cli version used on Github actions to `7.3.0`
PNPM is more strict about transitive dependencies and sometimes strange
things happen with module resolution unless the dependency is explicitly
stated in `package.json` and imported. I added comments to highlight
such cases.
@nlordell please test this change on linux :)
---------
Co-authored-by: Nicholas Rodrigues Lordello <[email protected]>
Currently, we use NPM workspaces to some success. However there are some rough edges, for example:
bin
when they are generated in the package's build step (workaround:safe-modules/package.json
Line 14 in cc9c764
safe-modules/modules/passkey/package.json
Line 45 in cc9c764
All in all, it would be nice to evaluate alternatives and see if there are any advantages to switching to a different package management system.
The text was updated successfully, but these errors were encountered: