Skip to content

Implement Rule, RulePlugin, and existing achievements#136

Merged
Notgnoshi merged 3 commits intomainfrom
dev/rules
Mar 3, 2026
Merged

Implement Rule, RulePlugin, and existing achievements#136
Notgnoshi merged 3 commits intomainfrom
dev/rules

Conversation

@Notgnoshi
Copy link
Owner

Closes #126

@Notgnoshi Notgnoshi merged commit 566fa9a into main Mar 3, 2026
5 checks passed
@Notgnoshi Notgnoshi deleted the dev/rules branch March 3, 2026 02:36
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.

Implement Rule and implement existing rules in terms of new Observations

1 participant