Skip to content

Commit

Permalink
docs: Add audit report of GhoSteward (#355)
Browse files Browse the repository at this point in the history
  • Loading branch information
miguelmtzinf authored Jun 29, 2023
1 parent 64fc936 commit 460ce07
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,8 @@ You can find all audit reports under the [audits](./audits/) folder
- [07-03-2023 - Sigma Prime](./audits/07-03-2023_SigmaPrime.pdf)
- [02-06-2023 - Sigma Prime](./audits/02-06-2023_SigmaPrime.pdf)
- [01-03-2023 - ABDK](./audits/01-03-2023_ABDK.pdf)
- [02-28-2023 - Certora Formal Verification](./certora/reports/Aave_Gho_Formal_Verification_Report.pdf)
- [28-02-2023 - Certora Formal Verification](./certora/reports/Aave_Gho_Formal_Verification_Report.pdf)
- [13-06-2023 - Sigma Prime (GhoSteward)](./audits/13-06-2023_SigmaPrime_GhoSteward.pdf)

## Getting Started

Expand Down
Binary file added audits/13-06-2023_SigmaPrime_GhoSteward.pdf
Binary file not shown.

0 comments on commit 460ce07

Please sign in to comment.