Skip to content
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.

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

feat: use HPO base instead of full #72

Merged
merged 1 commit into from
Mar 10, 2025
Merged

feat: use HPO base instead of full #72

merged 1 commit into from
Mar 10, 2025

Conversation

jsstevenson
Copy link
Member

Minor change, but the nicest Python OBO parser hates some syntax that's present in the full HPO release. Everything we want is in the base release, though, and it makes sense to use a lighter file anyway.

@jsstevenson jsstevenson added the priority:high High priority label Mar 10, 2025
@jsstevenson jsstevenson requested a review from korikuzma March 10, 2025 17:36
@jsstevenson jsstevenson merged commit 6b38e6c into main Mar 10, 2025
19 checks passed
@jsstevenson jsstevenson deleted the hpo-base branch March 10, 2025 17:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
priority:high High priority
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants