Skip to content

Upgrade hevm to upstream main #377

Upgrade hevm to upstream main

Upgrade hevm to upstream main #377

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

release.yml

on: pull_request
Matrix: nixBuild
Create release
0s
Create release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
echidna-redistributable-aarch64-macos
27.2 MB
echidna-redistributable-x86_64-linux
7.43 MB
echidna-redistributable-x86_64-macos
8.97 MB