Code

Run Foundry prover on CI#8

Code

Draft

ehildenb wants to merge 19 commits intomasterruntimeverification/kontrol-demo:masterfrom prover-on-ciruntimeverification/kontrol-demo:prover-on-ciCopy head branch name to clipboard

+150-35

Commits

Commits on Apr 17, 2023

• .github/: update github workflows

  ehildenb

  committed
  f51bb61

• .github/test-pr: run KEVM prover on CI too

  ehildenb

  committed
  4240276

• .github/test-pr: remove needs clause from test-forge

  ehildenb

  committed
  938f184

• .github/test-pr: correct needs name

  ehildenb

  committed
  7296ad6

• .github/test-pr: correct syntax

  ehildenb

  committed
  e1e5703

Commits on Apr 18, 2023

• .github/, Dockerfile: updates

  ehildenb

  committed
  93df39f

• .github/with-docker: no need to copy in shadow iles

  ehildenb

  committed
  83d58bf

• .github/test-pr: better stage names

  ehildenb

  committed
  3a279ba

• Merge remote-tracking branch 'upstream/master' into prover-on-ci

  ehildenb

  committed
  f5a74c2

• .github/test-pr: adjust docker exec invocations

  ehildenb

  committed
  ef38e49

• .github/test-pr: remove tty

  ehildenb

  committed
  c3a8a62

• Dockerfile: adjustments

  ehildenb

  committed
  46412a2

• Dockerfile: add locales

  ehildenb

  committed
  e45939a

• Dockerfile: attempt with foundryup installer

  ehildenb

  committed
  1dc3a33

• Dockerfile: correct usernames

  ehildenb

  committed
  c9d56ec

Commits on Apr 19, 2023

• .github/test-pr, Dockerfile: install Foundry/KEVM in workflow

  ehildenb

  committed
  3839ae3

• .github, Dockerfile: install foundry in dockerfile again

  ehildenb

  committed
  300606c

Commits on Jul 25, 2023

• Merge branch 'master' into prover-on-ci

  anvacaru

  authored
  f20abf6

• run erc20 with booster on ci

  anvacaru

  committed
  2442b08