Skip to content

Conversation

@gigaroby
Copy link
Contributor

While the git repo has been updated constantly, crates.io has only now been updated after more than a year of activity.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 26, 2023
While the git repo has been updated constantly, crates.io has only now
been updated after more than a year of activity.
@lnicola
Copy link
Member

lnicola commented Oct 26, 2023

Oof, that diff. And there's no tag for v0.1.1.

@bors r+

@bors
Copy link
Contributor

bors commented Oct 26, 2023

📌 Commit 99ec3aa has been approved by lnicola

It is now in the queue for this repository.

@lnicola lnicola changed the title scip: update crate to version 0.3.1. internal: scip: update crate to version 0.3.1. Oct 26, 2023
@bors
Copy link
Contributor

bors commented Oct 26, 2023

⌛ Testing commit 99ec3aa with merge 46c395d...

@bors
Copy link
Contributor

bors commented Oct 26, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 46c395d to master...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants