Use gap's --packagedirs
instead of symlinking in gaproot
#517
Job | Run time |
---|---|
5m 26s | |
7m 32s | |
6m 27s | |
5m 1s | |
7m 36s | |
6m 21s | |
7m 15s | |
7m 58s | |
53m 36s |
--packagedirs
instead of symlinking in gaproot
#517
Job | Run time |
---|---|
5m 26s | |
7m 32s | |
6m 27s | |
5m 1s | |
7m 36s | |
6m 21s | |
7m 15s | |
7m 58s | |
53m 36s |