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.

Sign up for GitHub

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

Jump to bottom

angle-grinder 0.16 #69287

Closed
wants to merge 1 commit into from
Closed

angle-grinder 0.16 #69287

wants to merge 1 commit into from

Conversation

carlocab
Copy link
Member

@carlocab carlocab commented Jan 18, 2021 •
edited
Loading

Created with brew bump-formula-pr.

resource blocks may require updates.

@BrewTestBot BrewTestBot added the rust Rust use is a significant feature of the PR or issue label Jan 18, 2021
@carlocab
angle-grinder 0.16
3098e93 
- lock file patch removed
@carlocab carlocab force-pushed the bump-angle-grinder-0.16 branch from 83052b7 to 3098e93 Compare January 18, 2021 19:37
@carlocab carlocab mentioned this pull request Jan 18, 2021
Closed
@chenrui333 chenrui333 added the CI-requeued PR has been re-added to the queue label Jan 18, 2021
chenrui333
chenrui333 previously approved these changes Jan 18, 2021
View reviewed changes
@BrewTestBot
Copy link
Member

🤖 A scheduled task has triggered a merge.

@BrewTestBot
Copy link
Member

⚠️ Bottle publish failed.

@BrewTestBot BrewTestBot dismissed chenrui333’s stale review January 18, 2021 23:48

bottle publish failed

@BrewTestBot
Copy link
Member

:shipit: @chenrui333 has triggered a merge.

@carlocab carlocab deleted the bump-angle-grinder-0.16 branch January 21, 2021 11:15
@BrewTestBot BrewTestBot added the outdated PR was locked due to age label Feb 21, 2021
@Homebrew Homebrew locked as resolved and limited conversation to collaborators Feb 21, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@chenrui333 chenrui333 chenrui333 left review comments

Assignees
No one assigned
Labels
CI-requeued PR has been re-added to the queue outdated PR was locked due to age rust Rust use is a significant feature of the PR or issue
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@carlocab @BrewTestBot @chenrui333