safe-global / safe-modules / 9113231726

100%

master: 85%

push

github

Pnpm experiment (#420)

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 <nick@safe.global>

56 of 56 branches covered (100.0%)

Branch coverage included in aggregate %.

147 of 147 relevant lines covered (100.0%)

24.67 hits per line