Skip to content

Merge branch 'multisig-plan' of github.com:makerdao/dss-direct-deposi… #437

Merge branch 'multisig-plan' of github.com:makerdao/dss-direct-deposi…

Merge branch 'multisig-plan' of github.com:makerdao/dss-direct-deposi… #437

Annotations

1 warning

Certora (Hub admin & getters, rely rely_revert deny deny_revert file_ilk_uint256 file_ilk_uint256...

succeeded Mar 19, 2024 in 4m 21s