chore: bump prost
to 0.13
#1927
Job | Run time |
---|---|
2m 31s | |
1m 12s | |
5m 13s | |
1m 22s | |
2m 48s | |
1m 51s | |
1m 46s | |
16m 43s |
prost
to 0.13
#1927
Job | Run time |
---|---|
2m 31s | |
1m 12s | |
5m 13s | |
1m 22s | |
2m 48s | |
1m 51s | |
1m 46s | |
16m 43s |