Shanghai Schedule Update #6215

Sign in to view logs

Re-run triggered September 8, 2023 19:31

anvacaru

#1907

anvacaru/shanghai

Status Success

Total duration 1h 11m 20s

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