Skip to content

Conversation

@ondrej-lukas
Copy link
Member

Solve discrepancy in the reward naming

@ondrej-lukas ondrej-lukas merged commit 732d7d1 into main Feb 4, 2025
2 checks passed
@ondrej-lukas ondrej-lukas deleted the fix-reward-conf branch February 4, 2025 10:23
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.

2 participants