Skip to content

Conversation

@omaus
Copy link
Member

@omaus omaus commented Aug 7, 2025

This PR

@omaus omaus self-assigned this Aug 7, 2025
@omaus omaus merged commit 2d9967d into main Aug 7, 2025
2 checks passed
@omaus omaus deleted the feature-ontology-#6 branch August 7, 2025 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants