Code

Certora Run Action#40

Code

Open

H00N24 wants to merge 6 commits intomainCertora/aave-token-v3:mainfrom feat/certora-run-actionCertora/aave-token-v3:feat/certora-run-actionCopy head branch name to clipboard

+45-56

Commits

Commits on Dec 18, 2024

• Certora Run Action

  H00N24

  committed
  bdfa32e

  Copy full SHA for bdfa32e

• Add java dist

  H00N24

  committed
  0da77e7

  Copy full SHA for 0da77e7

• Add java dist

  H00N24

  committed
  9934448

  Copy full SHA for 9934448

• Remove unused argument

  H00N24

  committed
  f3eeb5f

  Copy full SHA for f3eeb5f

• Fix storage

  H00N24

  committed
  3884238

  Copy full SHA for 3884238

Commits on Dec 19, 2024

• Remove coments

  H00N24

  committed
  da06a35

  Copy full SHA for da06a35