Skip to content

Upgrade hevm to upstream main #2059

Upgrade hevm to upstream main

Upgrade hevm to upstream main #2059

Triggered via pull request September 16, 2024 14:31
@elopezelopez
synchronize #1300
hevm-20240826
Status Success
Total duration 14m 19s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
echidna-Linux Expired
18.3 MB
echidna-Windows Expired
19.1 MB
echidna-macOS Expired
8.95 MB
echidna-testsuite-Linux Expired
23.6 MB
echidna-testsuite-Windows Expired
21.8 MB