Back to pull request #2445

Update dependency: deps/k_release #9271

Sign in to view logs

Re-run triggered May 27, 2024 06:08

anvacaru

#2445

_update-deps/runtimeverification/k

Status Success

Total duration 15m 9s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Build and Test KEVM concrete execution

Matrix: Nix

Matrix: Build and Test KEVM proofs