CI

remove extra cd in kevm install #18

Sign in to view logs

Triggered via push November 15, 2024 20:41

aazhou1

ci

Status Failure

Total duration 2m 41s

Artifacts –

ci.yaml

on: push

formal-verification

Annotations

1 error

formal-verification

Process completed with exit code 1.