Remove unzip
and zip
and use ZipArchives.jl instead
#73
Job | Run time |
---|---|
10m 50s | |
2m 7s | |
2m 38s | |
1m 39s | |
17m 14s |
unzip
and zip
and use ZipArchives.jl instead
#73
Job | Run time |
---|---|
10m 50s | |
2m 7s | |
2m 38s | |
1m 39s | |
17m 14s |