Skip to content

Conversation

@yshavit
Copy link
Owner

@yshavit yshavit commented Aug 4, 2025

In service of #378

@yshavit yshavit added the minor behind-the-scenes task: improvements to CI, code cleanups, etc label Aug 4, 2025
@yshavit yshavit merged commit 3259587 into main Aug 4, 2025
13 of 14 checks passed
@yshavit yshavit deleted the crates branch August 4, 2025 00:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

minor behind-the-scenes task: improvements to CI, code cleanups, etc

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants