Upgrade hevm
to upstream main
#2056
Job | Run time |
---|---|
23m 19s | |
25m 26s | |
27m 22s | |
3m 14s | |
3m 46s | |
3m 18s | |
3m 37s | |
3m 40s | |
4m 22s | |
4m 29s | |
4m 55s | |
1h 47m 28s |
hevm
to upstream main
#2056
Job | Run time |
---|---|
23m 19s | |
25m 26s | |
27m 22s | |
3m 14s | |
3m 46s | |
3m 18s | |
3m 37s | |
3m 40s | |
4m 22s | |
4m 29s | |
4m 55s | |
1h 47m 28s |