Back to pull request #2044

Make booster default in Foundry proofs #6134

Sign in to view logs

Re-run triggered September 5, 2023 08:37

#2044

default-booster

Status Success

Total duration 31m 13s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Build and Test KEVM concrete execution

Build and Test KEVM haskell proofs

Build and Test KEVM haskell proofs (booster)

Build and Test KEVM Foundry proofs

Build and Test KEVM Foundry proofs (booster)

Build Ubuntu Jammy DockerHub Image

Matrix: Nix