You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think this fails because the installed package can not be actually loaded; so to "fix" this, one probably needs to add the temporary pkgdir to the list of directories GAP searches for packages, e.g. via ExtendRootDirectories
The text was updated successfully, but these errors were encountered:
We currently do this in the test suite:
... which is inconvenient as it means that after running the test suite, the IO package is removed...
Better would be to reactivate the commented out variant coming afterwards:
I think this fails because the installed package can not be actually loaded; so to "fix" this, one probably needs to add the temporary
pkgdir
to the list of directories GAP searches for packages, e.g. viaExtendRootDirectories
The text was updated successfully, but these errors were encountered: