Skip to content

chore: merge feat/platform into main - #29

Merged
jskrsh merged 79 commits into
mainfrom
feat/platform
Oct 18, 2026
Merged

jskrsh merged 79 commits into
mainfrom
feat/platform

Conversation

@niklasnieberler

Copy link
Copy Markdown
Contributor

No description provided.

PrexorJustin and others added 30 commits January 5, 2025 07:49
feature: abstracted repository to be more flexible across other projects that may implement this api
…ory-repository

feat: added ResourcedYamlDirectoryRepository
…atcher

feat: added NumericOperationMatcher and GreaterThanOperation
ref: change any to t in ConfigFactory.kt
@jskrsh
jskrsh changed the base branch from develop to main October 13, 2026 20:17
@jskrsh jskrsh changed the title Feat/platform chore: merge feat/platform into main Oct 13, 2026
@jskrsh
jskrsh merged commit 9a4deea into main Oct 18, 2026
1 check passed
@jskrsh
jskrsh deleted the feat/platform branch October 18, 2026 04:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants