update to 0.25.0
; pin hyperdrivetypes
(#1702)
#156
Job | Run time |
---|---|
10s | |
1m 3s | |
37s | |
50s | |
5s | |
2m 45s |
0.25.0
; pin hyperdrivetypes
(#1702)
#156
Job | Run time |
---|---|
10s | |
1m 3s | |
37s | |
50s | |
5s | |
2m 45s |