Code

Try 7.20.3#27

Code

Closed

nisnislevi wants to merge 5 commits intomainCertora/aave-governance-v3:mainfrom try-7.20.3Certora/aave-governance-v3:try-7.20.3Copy head branch name to clipboard

+88-43

Commits

Commits on Nov 21, 2024

• fix: removed unused paths from certora ci

  sendra

  committed
  2d3e17e

  Copy full SHA for 2d3e17e

• fix: removed unused paths

  sendra

  committed
  b14e8a4

  Copy full SHA for b14e8a4

• fix: patch ci

  sakulstra

  committed
  cbc4e58

  Copy full SHA for cbc4e58

Commits on Nov 26, 2024

• fix bugs due to initializeWithRevision

  nisnislevi

  committed
  4f8f868

  Copy full SHA for 4f8f868

• move to 7.20.3

  nisnislevi

  committed
  ef7c3c1

  Copy full SHA for ef7c3c1