Upgrade hevm
to upstream main
#342
Job | Run time |
---|---|
14m 10s | |
15m 25s | |
12m 15s | |
0s | |
41m 50s |
hevm
to upstream main
#342
Job | Run time |
---|---|
14m 10s | |
15m 25s | |
12m 15s | |
0s | |
41m 50s |