Skip to content

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

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

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

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

failed Nov 19, 2024 in 30s