Upgrade hevm
to upstream main
#403
Job | Run time |
---|---|
16s | |
14m 48s | |
18s | |
13m 25s | |
21s | |
10m 7s | |
0s | |
0s | |
39m 15s |
hevm
to upstream main
#403
Job | Run time |
---|---|
16s | |
14m 48s | |
18s | |
13m 25s | |
21s | |
10m 7s | |
0s | |
0s | |
39m 15s |