Skip to content

Conversation

@davidhewitt
Copy link
Collaborator

Thanks @robjtede for the pings, fixes and patience.

@davidhewitt davidhewitt merged commit 9e3e115 into master Oct 27, 2025
13 checks passed
@robjtede
Copy link
Contributor

@davidhewitt hey could you also publish this tag to crates.io please; we're not using binstall to grab this package

@davidhewitt
Copy link
Collaborator Author

My mistake - @kbknapp is the one with permissions to run the crates.io publish and I forgot to ping them. I will see if we can get a CI run based on trusted publishing set up.

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.

3 participants