CI

fix kevm install #17

Sign in to view logs

Triggered via push November 15, 2024 20:37

aazhou1

ci

Status Failure

Total duration 3m 20s

Artifacts –

ci.yaml

on: push

formal-verification

Annotations

1 error

formal-verification

Process completed with exit code 1.