Skip to content

Conversation

@BrewTestBot
Copy link
Member

Created by brew bump


Created with brew bump-formula-pr.

@github-actions github-actions bot added rust Rust use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Mar 16, 2024
@chenrui333
Copy link
Member

@chenrui333 chenrui333 changed the title oha 1.4.0-pgo oha 1.4.0 Mar 16, 2024
@chenrui333 chenrui333 changed the title oha 1.4.0 oha: enable pgo Mar 16, 2024
@chenrui333 chenrui333 changed the title oha: enable pgo oha 1.4.0-pgo Mar 16, 2024
@chenrui333 chenrui333 added upstream issue An upstream issue report is needed test failure CI fails while running the test-do block labels Mar 16, 2024
@chenrui333
Copy link
Member

Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333 chenrui333 changed the title oha 1.4.0-pgo oha 1.4.1 Mar 16, 2024
@chenrui333 chenrui333 added ready to merge PR can be merged once CI is green and removed upstream issue An upstream issue report is needed test failure CI fails while running the test-do block labels Mar 16, 2024
@github-actions
Copy link
Contributor

🤖 An automated task has requested bottles to be published to this PR.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Mar 16, 2024
@BrewTestBot BrewTestBot enabled auto-merge March 16, 2024 19:29
@BrewTestBot BrewTestBot added this pull request to the merge queue Mar 16, 2024
Merged via the queue into master with commit d56e23d Mar 16, 2024
@BrewTestBot BrewTestBot deleted the bump-oha-1.4.0-pgo branch March 16, 2024 19:35
@github-actions github-actions bot added the outdated PR was locked due to age label Apr 15, 2024
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 15, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

bump-formula-pr PR was created using `brew bump-formula-pr` CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. outdated PR was locked due to age ready to merge PR can be merged once CI is green rust Rust use is a significant feature of the PR or issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants