Code

Certora Run Github Application#32

Code

Open

H00N24 wants to merge 5 commits intomainCertora/aave-governance-v3:mainfrom feat/job-submit-flow-finalCertora/aave-governance-v3:feat/job-submit-flow-finalCopy head branch name to clipboard

+116-178

Commits

Commits on Jan 8, 2025

• Add GH Application

  H00N24

  committed
  a9cc339

  Copy full SHA for a9cc339

• Test isolated envs

  H00N24

  committed
  a17fbd6

  Copy full SHA for a17fbd6

• Use isolated envs for all branches

  H00N24

  committed
  9ab1802

  Copy full SHA for 9ab1802

Commits on Jan 9, 2025

• Use main branch

  H00N24

  committed
  576327e

  Copy full SHA for 576327e

Commits on Jan 24, 2025

• Use first release

  H00N24

  committed
  ea846c0

  Copy full SHA for ea846c0