Skip to content

Merge pull request #86 from bgd-labs/feat/solidity-utils-update #82

Merge pull request #86 from bgd-labs/feat/solidity-utils-update

Merge pull request #86 from bgd-labs/feat/solidity-utils-update #82

Annotations

1 warning

verify (verifyERC4626Extended.conf --rule redeemSum)

succeeded Dec 9, 2024 in 8m 3s