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
It's merely an idea/suggestion, but I think it would be useful to have the ability to pass options to GAP. In particular, the -A flag would (imho) be useful for testing if a package still works properly when loaded with the OnlyNeeded option. This would require a small change in pkg-ci-scripts/run_tests.sh as well, of course.
The text was updated successfully, but these errors were encountered:
It's merely an idea/suggestion, but I think it would be useful to have the ability to pass options to GAP. In particular, the -A flag would (imho) be useful for testing if a package still works properly when loaded with the
OnlyNeeded
option. This would require a small change in pkg-ci-scripts/run_tests.sh as well, of course.The text was updated successfully, but these errors were encountered: