Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release crates v0.13.5 #3584

Merged
merged 1 commit into from
Jun 8, 2024
Merged

Release crates v0.13.5 #3584

merged 1 commit into from
Jun 8, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jun 8, 2024

[0.13.5] - 2024-06-08

Bug Fixes

  • 48bb97e traverse: Do not publish the build script (Boshen)

Copy link

graphite-app bot commented Jun 8, 2024

Your org has enabled the Graphite merge queue for merging into main

Add the label “merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

@Boshen Boshen merged commit 6bdd74c into main Jun 8, 2024
@Boshen Boshen deleted the release/crates-1717836255 branch June 8, 2024 08:44
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