Factor out booster building process, run haskell pyk proofs on booster too #5955

Sign in to view logs

Re-run triggered August 24, 2023 20:10

ehildenb

#2034

factored-booster-kompilation

Status Failure

Total duration 1h 8m 6s

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

Annotations

1 error

Build and Test KEVM Foundry proofs (booster)

Process completed with exit code 2.