Skip to content

Comments

Add more remote datasets to caching#3954

Merged
seisman merged 2 commits intomainfrom
caching
May 22, 2025
Merged

Add more remote datasets to caching#3954
seisman merged 2 commits intomainfrom
caching

Conversation

@seisman
Copy link
Member

@seisman seisman commented May 21, 2025

Some remote datasets are not cached in our CI. This PR adds the missing ones to caching.py.

The file list is obtained by cleaning up my local ~/.gmt/server folder, run the full tests and then check the .gmt/server directory.

@seisman seisman added this to the 0.16.0 milestone May 21, 2025
@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog final review call This PR requires final review and approval from a second reviewer labels May 21, 2025
@seisman seisman requested a review from a team May 22, 2025 01:54
Co-authored-by: Wei Ji <23487320+weiji14@users.noreply.github.com>
@seisman seisman merged commit 6496ccb into main May 22, 2025
20 of 23 checks passed
@seisman seisman deleted the caching branch May 22, 2025 02:55
@seisman seisman removed the final review call This PR requires final review and approval from a second reviewer label May 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants