Foundry digest rehaul #5936

Sign in to view logs

Triggered via pull request August 24, 2023 14:02

iFrostizz

synchronize #2026

digest-rehaul

Status Cancelled

Total duration 35s

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

A task was canceled.