Skip to content

feat: remove unused fee claimer, fix ci, improve stata interface (#73) #48

feat: remove unused fee claimer, fix ci, improve stata interface (#73)

feat: remove unused fee claimer, fix ci, improve stata interface (#73) #48

Annotations

1 error and 2 warnings

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

failed Nov 18, 2024 in 30s