Use gap's --packagedirs
instead of symlinking in gaproot
#515
Job | Run time |
---|---|
16s | |
20s | |
20s | |
13s | |
18s | |
20s | |
21s | |
21s | |
2m 29s |
--packagedirs
instead of symlinking in gaproot
#515
Job | Run time |
---|---|
16s | |
20s | |
20s | |
13s | |
18s | |
20s | |
21s | |
21s | |
2m 29s |