Move gaproot dir out of package into /tmp - Githubissues

gap-actions / run-pkg-tests

Other

1 stars 4 forks source link

Move gaproot dir out of package into /tmp #20

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

This avoids some issues, e.g. paths like gaproot/pkg/PKGNAME/gaproot/pkg/...

Resolves #17