Upgrade hevm
to upstream main
#345
Job | Run time |
---|---|
26m 49s | |
13m 33s | |
5m 39s | |
0s | |
46m 1s |
hevm
to upstream main
#345
Job | Run time |
---|---|
26m 49s | |
13m 33s | |
5m 39s | |
0s | |
46m 1s |