Foundry digest rehaul #5970

Sign in to view logs

Triggered via pull request August 24, 2023 22:14

iFrostizz

synchronize #2026

digest-rehaul

Status Cancelled

Total duration 1m 22s

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

2 errors

Code Quality Checks

Canceling since a higher priority waiting request for 'Test PR-refs/pull/2026/merge' exists

Code Quality Checks

The operation was canceled.