Skip to content

Commit facd478

Browse files
authored
docs: Add updated audit report for Modular Gho Stewards (#424)
1 parent 3684128 commit facd478

File tree

2 files changed

+1
-0
lines changed

2 files changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,7 @@ You can find all audit reports under the [audits](./audits/) folder
4747
- [2023-12-07 - Certora Formal Verification (GHO Stability Module)](./certora/reports/Formal_Verification_Report_of_GHO_Stability_Module.pdf)
4848
- [2024-03-14 - Certora Formal Verification (GhoStewardV2)](./audits/2024-03-14_GhoStewardV2_Certora.pdf)
4949
- [2024-06-11 - Certora Formal Verification (UpgradeableGHO)](./audits/2024-06-11_UpgradeableGHO_Certora.pdf)
50+
- [2024-06-11 - Certora Formal Verification (Modular Gho Stewards)](./audits/2024-09-15_ModularGhoStewards_Certora.pdf)
5051

5152
## Getting Started
5253

0 commit comments

Comments
 (0)