Skip to content

fix: fixing fv failures after code update & upgrade ci (#76) #60

fix: fixing fv failures after code update & upgrade ci (#76)

fix: fixing fv failures after code update & upgrade ci (#76) #60

verify (verifyERC4626DepositSummarization.conf --rule depositCheckIndexGRayAssert1 depositATokens...

failed Nov 19, 2024 in 20s