fix #804: use xfun::file_rename() #664
Job | Run time |
---|---|
4m 15s | |
1m 58s | |
3m 25s | |
3m 32s | |
3m 14s | |
3m 14s | |
3m 11s | |
3m 14s | |
11m 15s | |
3m 7s | |
3m 45s | |
3m 38s | |
47m 48s |
Job | Run time |
---|---|
4m 15s | |
1m 58s | |
3m 25s | |
3m 32s | |
3m 14s | |
3m 14s | |
3m 11s | |
3m 14s | |
11m 15s | |
3m 7s | |
3m 45s | |
3m 38s | |
47m 48s |