Use gap's --packagedirs
instead of symlinking in gaproot
#1714
Job | Run time |
---|---|
4m 59s | |
4m 38s | |
5m 17s | |
5m 25s | |
2m 9s | |
4m 59s | |
4m 0s | |
0s | |
31m 27s |
--packagedirs
instead of symlinking in gaproot
#1714
Job | Run time |
---|---|
4m 59s | |
4m 38s | |
5m 17s | |
5m 25s | |
2m 9s | |
4m 59s | |
4m 0s | |
0s | |
31m 27s |