Skip to content

Final cleanup#10

Merged
shilangyu merged 3 commits intomainfrom
fix/last-things
May 5, 2025
Merged

Final cleanup#10
shilangyu merged 3 commits intomainfrom
fix/last-things

Conversation

@shilangyu
Copy link
Owner

No description provided.

@shilangyu shilangyu changed the title Fix reduction rule names Final cleanup May 5, 2025
@shilangyu shilangyu merged commit fe1263d into main May 5, 2025
1 check passed
@shilangyu shilangyu deleted the fix/last-things branch May 5, 2025 08:10
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.

1 participant