docs: Add Certora Audit Report for CCIP 1.5.1 (#29)

* feat: certora audit 1.5.1 * chore: rename
aave · Jan 6, 2025 · d5c6ced · d5c6ced
1 parent 8998603
commit d5c6ced
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/contracts/src/v0.8/ccip/pools/GHO/audits/2024-12-24_GHO-CCIP-TokenPools_Certora.pdf b/contracts/src/v0.8/ccip/pools/GHO/audits/2024-12-24_GHO-CCIP-TokenPools_Certora.pdf