Skip to content

Conversation

jimmygchen
Copy link
Member

Issue Addressed

publish-crate action and its script no longer used after #3890.

@jimmygchen jimmygchen added infra-ci ready-for-review The code is ready for review labels May 30, 2023
Copy link
Member

@michaelsproul michaelsproul left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great catch!

@michaelsproul michaelsproul added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels May 30, 2023
@michaelsproul
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request May 30, 2023
## Issue Addressed

`publish-crate` action and its script no longer used after #3890.
@bors
Copy link

bors bot commented May 30, 2023

Pull request successfully merged into unstable.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot changed the title Remove unused crate publishing Github action and script [Merged by Bors] - Remove unused crate publishing Github action and script May 30, 2023
@bors bors bot closed this May 30, 2023
divagant-martian pushed a commit to divagant-martian/lighthouse that referenced this pull request Jun 7, 2023
## Issue Addressed

`publish-crate` action and its script no longer used after sigp#3890.
ghost pushed a commit to oone-world/lighthouse that referenced this pull request Jul 13, 2023
## Issue Addressed

`publish-crate` action and its script no longer used after sigp#3890.
Woodpile37 pushed a commit to Woodpile37/lighthouse that referenced this pull request Jan 6, 2024
## Issue Addressed

`publish-crate` action and its script no longer used after sigp#3890.
Woodpile37 pushed a commit to Woodpile37/lighthouse that referenced this pull request Jan 6, 2024
## Issue Addressed

`publish-crate` action and its script no longer used after sigp#3890.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
infra-ci ready-for-merge This PR is ready to merge.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants