Upstream lemmas from Wormhole engagement #5236

Sign in to view logs

Re-run triggered August 1, 2023 21:25

qian-hu

#1866

wormhole-lemmas

Status Failure

Total duration 5m 27s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Matrix: Nix

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

Annotations

5 errors

Build and Test KEVM Foundry proofs

Process completed with exit code 2.

Build and Test KEVM haskell proofs

Process completed with exit code 2.

Build and Test KEVM Foundry proofs (booster)

Process completed with exit code 2.

Build Ubuntu Jammy DockerHub Image

Process completed with exit code 1.

Nix (normal)

Process completed with exit code 1.