Skip to content

Update server list#690

Open
paulzierep wants to merge 8 commits into
galaxyproject:mainfrom
paulzierep:update-server-list
Open

Update server list#690
paulzierep wants to merge 8 commits into
galaxyproject:mainfrom
paulzierep:update-server-list

Conversation

@paulzierep

@paulzierep paulzierep commented Jun 25, 2026

Copy link
Copy Markdown
Collaborator

I found out, that the updated server list is not pushed to main, but since we run it before the other jobs in the CI, it was no problem. With this PR we store the list and run in parallel to save some time !

@bebatut bebatut left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks.
Would it be possible to add unit tests for this script while you are working on it? Thanks a lot

- Test is_likely_galaxy_url with all skip patterns (docker, github, etc.)
- Test check_server with working, failing, and trailing-slash cases
- Test custom_servers file loading via pd.read_csv
@paulzierep paulzierep force-pushed the update-server-list branch from 6922418 to 2626db5 Compare June 26, 2026 15:00
@paulzierep paulzierep force-pushed the update-server-list branch from 47d969f to f1c715b Compare June 26, 2026 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants