Skip to content

[rules score] some minor fixes#235

Merged
castler merged 3 commits into
mainfrom
joho_some_minor_fixes2
May 20, 2026
Merged

[rules score] some minor fixes#235
castler merged 3 commits into
mainfrom
joho_some_minor_fixes2

Conversation

@hoe-jo
Copy link
Copy Markdown
Contributor

@hoe-jo hoe-jo commented May 20, 2026

  • Fix Docs Warnings
  • Update Docu Validation Integration Tests
  • Bugfix AI Checker

@hoe-jo hoe-jo changed the title Joho some minor fixes2 [rules rust] some minor fixes May 20, 2026
@hoe-jo hoe-jo changed the title [rules rust] some minor fixes [rules score] some minor fixes May 20, 2026
@castler castler merged commit ed9c2a2 into main May 20, 2026
5 checks passed
@castler castler deleted the joho_some_minor_fixes2 branch May 20, 2026 13:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

2 participants