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

Update Rust crate headers to 0.4.0 #6250

Closed
wants to merge 1 commit into from
Closed

Conversation

oxide-renovate[bot]
Copy link
Contributor

@oxide-renovate oxide-renovate bot commented Aug 7, 2024

This PR contains the following updates:

Package Type Update Change
headers (source) workspace.dependencies minor 0.3.9 -> 0.4.0

Release Notes

hyperium/headers (headers)

v0.4.0

Compare Source


Configuration

📅 Schedule: Branch creation - "after 8pm,before 6am" in timezone America/Los_Angeles, Automerge - "after 8pm,before 6am" in timezone America/Los_Angeles.

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Renovate Bot.

@oxide-renovate oxide-renovate bot added the dependencies Pull requests that update a dependency file label Aug 7, 2024
@sunshowers
Copy link
Contributor

Requires hyper 1.0.

@sunshowers sunshowers closed this Aug 7, 2024
@oxide-renovate
Copy link
Contributor Author

oxide-renovate bot commented Aug 7, 2024

Renovate Ignore Notification

Because you closed this PR without merging, Renovate will ignore this update (0.4.0). You will get a PR once a newer version is released. To ignore this dependency forever, add it to the ignoreDeps array of your Renovate config.

If you accidentally closed this PR, or if you changed your mind: rename this PR to get a fresh replacement PR.

@oxide-renovate oxide-renovate bot deleted the renovate/headers-0.x branch August 7, 2024 07:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant