safe-global / safe-modules / 11324077195

Builds Branch Commit Type Ran Committer Via Coverage
11324077195 deps/bump Merge branch 'main' of github.com:safe-global/safe-modules into deps/bump Pull #490 mmv08 github
100.0
11324077196 deps/bump Merge branch 'main' of github.com:safe-global/safe-modules into deps/bump Pull #490 mmv08 github
71.05
11324057328 deps/bump update dependencies, fix certora ci by updating the cli version push mmv08 github
100.0
11324057304 deps/bump update dependencies, fix certora ci by updating the cli version push mmv08 github
100.0
11324057300 deps/bump update dependencies, fix certora ci by updating the cli version push mmv08 github
71.05
11323190278 main FV based on audit of Passkey module (#496) Based on #495 This PR was made based on Certora's `safe-modules` repo with the FV specifications. The author was manually changed to avoid the CLA requirement. Steps: ``` git remote add Cert... push web-flow github
100.0
11322701632 fv-passkey Certora New Version Pull #496 remedcu github
100.0
11183001654 main Adding custom deployment script command (#497) While creating custom deployments for the module, the command for the same was missing from `package.json`, this PR adds the same to all the modules. Additional: - Path update for Certora conf ... push web-flow github
100.0
11183001629 main Adding custom deployment script command (#497) While creating custom deployments for the module, the command for the same was missing from `package.json`, this PR adds the same to all the modules. Additional: - Path update for Certora conf ... push web-flow github
100.0
11183001632 main Adding custom deployment script command (#497) While creating custom deployments for the module, the command for the same was missing from `package.json`, this PR adds the same to all the modules. Additional: - Path update for Certora conf ... push web-flow github
71.05
11181813211 custom-deployment Path update Pull #497 remedcu github
100.0
11181617993 custom-deployment Certora Version Update Pull #497 remedcu github
100.0
11177003469 custom-deployment Adding custom deployment script command Pull #497 remedcu github
100.0
11177003460 custom-deployment Adding custom deployment script command Pull #497 remedcu github
100.0
11177003459 custom-deployment Adding custom deployment script command Pull #497 remedcu github
71.05