Skip to content

Commit 70cfb30

Browse files
author
Cache bot
committed
fix(cache): automated cache update [skip ci]
1 parent b18fe56 commit 70cfb30

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/20241014_AaveV3Ethereum_AaveCertoraContinuousSecurityServices/AaveCertoraContinuousSecurityServices.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -84,8 +84,8 @@ Price of AAVE will be determined using a 30-days average.
8484

8585
## References
8686

87-
- Implementation: [AaveV3Ethereum](https://github.com/bgd-labs/aave-proposals-v3/blob/main/src/20241014_AaveV3Ethereum_AaveCertoraContinuousSecurityServices/AaveV3Ethereum_AaveCertoraContinuousSecurityServices_20241014.sol)
88-
- Tests: [AaveV3Ethereum](https://github.com/bgd-labs/aave-proposals-v3/blob/main/src/20241014_AaveV3Ethereum_AaveCertoraContinuousSecurityServices/AaveV3Ethereum_AaveCertoraContinuousSecurityServices_20241014.t.sol)
87+
- Implementation: [AaveV3Ethereum](https://github.com/bgd-labs/aave-proposals-v3/blob/b18fe56abfc87578423a9884627070cc23f342e9/src/20241014_AaveV3Ethereum_AaveCertoraContinuousSecurityServices/AaveV3Ethereum_AaveCertoraContinuousSecurityServices_20241014.sol)
88+
- Tests: [AaveV3Ethereum](https://github.com/bgd-labs/aave-proposals-v3/blob/b18fe56abfc87578423a9884627070cc23f342e9/src/20241014_AaveV3Ethereum_AaveCertoraContinuousSecurityServices/AaveV3Ethereum_AaveCertoraContinuousSecurityServices_20241014.t.sol)
8989
- [Snapshot](https://snapshot.org/#/aave.eth/proposal/0xebf0b33be0c3784b2928112414f08e31ac57705f49d46668bfef6fa6f761141d)
9090
- [Discussion](https://governance.aave.com/t/arfc-aave-certora-continuous-security-services/19262)
9191

0 commit comments

Comments
 (0)