Remove manual gap root overwrite (gap -l <paths>)
#888
| Job | Run time |
|---|---|
| 59m 50s | |
| 51m 15s | |
| 1m 38s | |
| 6m 23s | |
| 54m 1s | |
| 58m 58s | |
| 3h 52m 5s |
gap -l <paths>)
#888
| Job | Run time |
|---|---|
| 59m 50s | |
| 51m 15s | |
| 1m 38s | |
| 6m 23s | |
| 54m 1s | |
| 58m 58s | |
| 3h 52m 5s |