Upgrade hevm to latest `echidna-patches` commit (#1243) #422

Sign in to view logs

Summary
Jobs
- docker
Run details
- Usage
- Workflow file

Triggered via push May 8, 2024 17:24

elopez

master

Status Success

Total duration 21m 21s

Artifacts –

docker.yml

on: push