Closed fingolfin closed 6 months ago
Hmm, I think there are more places that need to be adjusted...
Perhaps a better approach is to modify ci/run-gap-testinstall.g to delete the offending .tst file
ci/run-gap-testinstall.g
OK that should be better, I think.
@james-d-mitchell seems to work
Thanks @fingolfin sorry I didn't have time to do it myself. I'll merge and make a new release as soon as I can
Hmm, I think there are more places that need to be adjusted...
Perhaps a better approach is to modify
ci/run-gap-testinstall.g
to delete the offending .tst file