Rename aux
directory to misc
#103
Job | Run time |
---|---|
1m 30s | |
1m 30s | |
1m 30s | |
1m 36s | |
1m 11s | |
51s | |
55s | |
57s | |
50s | |
52s | |
57s | |
58s | |
49s | |
14m 26s |
aux
directory to misc
#103
Job | Run time |
---|---|
1m 30s | |
1m 30s | |
1m 30s | |
1m 36s | |
1m 11s | |
51s | |
55s | |
57s | |
50s | |
52s | |
57s | |
58s | |
49s | |
14m 26s |