New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable extra user preferences for remotely authorized users #18887

Merged

dannon merged 4 commits into galaxyproject:dev from maartenschermer:user-preferences-remote-users

Oct 16, 2024

Merged

Enable extra user preferences for remotely authorized users #18887

linting

CircleCI Checks / get_code_and_test succeeded Sep 25, 2024 in 7m 27s

Workflow: get_code_and_test

View CircleCI workflow

get_code - Success
validate_test_tools - Success

View more details on CircleCI Checks