update news re: use_crate()
#886
Job | Run time |
---|---|
6m 39s | |
6m 10s | |
10m 37s | |
2m 37s | |
3m 2s | |
3m 16s | |
3m 30s | |
35m 51s |
use_crate()
#886
Job | Run time |
---|---|
6m 39s | |
6m 10s | |
10m 37s | |
2m 37s | |
3m 2s | |
3m 16s | |
3m 30s | |
35m 51s |