Update dependency: deps/kevm_release #3209

Sign in to view logs

Triggered via pull request May 3, 2024 09:07

synchronize #541

_update-deps/runtimeverification/evm-semantics

Status Failure

Total duration 36s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Matrix: CSE Tests

Matrix: Integration Tests

Matrix: Nix Tests

Matrix: Profiling

Annotations

1 error

Version Bump

Process completed with exit code 1.