Upgrade hevm
to upstream main
#343
Job | Run time |
---|---|
6m 33s | |
8m 12s | |
9m 28s | |
0s | |
24m 13s |
hevm
to upstream main
#343
Job | Run time |
---|---|
6m 33s | |
8m 12s | |
9m 28s | |
0s | |
24m 13s |