Foundry digest rehaul #5953

Sign in to view logs

Re-run triggered August 24, 2023 17:30

iFrostizz

#2026

digest-rehaul

Status Failure

Total duration 1h 25m 29s

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 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

Process completed with exit code 2.