Code

Initial Setup#1

Code

Merged

H00N24 merged 13 commits intomainCertora/certora-run-action:mainfrom feat/initial-setupCertora/certora-run-action:feat/initial-setupCopy head branch name to clipboardDec 10, 2024

+1,094

Commits

Commits on Dec 10, 2024

• Install & Sanitize

  H00N24

  committed
  98ac914

  Copy full SHA for 98ac914

• Install solc

  H00N24

  committed
  3567264

  Copy full SHA for 3567264

• Use existing solc versions

  H00N24

  committed
  c0280cf

  Copy full SHA for c0280cf

• Fix paths

  H00N24

  committed
  2584132

  Copy full SHA for 2584132

• Add comments

  H00N24

  committed
  7ee5d20

  Copy full SHA for 7ee5d20

• Add permission

  H00N24

  committed
  bed391c

  Copy full SHA for bed391c

• Move workflow

  H00N24

  committed
  6203804

  Copy full SHA for 6203804

• Fix typo

  H00N24

  committed
  cea65e7

  Copy full SHA for cea65e7

• Fix typo

  H00N24

  committed
  fda780f

  Copy full SHA for fda780f

• Return version

  H00N24

  committed
  8d43733

  Copy full SHA for 8d43733

• secrets

  H00N24

  committed
  37b6eb4

  Copy full SHA for 37b6eb4

• Another issue...

  H00N24

  committed
  f0652b1

  Copy full SHA for f0652b1

• Change path

  H00N24

  committed
  d0cc660

  Copy full SHA for d0cc660