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 lockfile / dependencies #580

Merged
merged 1 commit into from
Nov 17, 2022

Conversation

striezel
Copy link
Contributor

@striezel striezel commented Nov 17, 2022

Updating futures-core v0.3.24 -> v0.3.25
Updating getrandom v0.2.7 -> v0.2.8
Updating libc v0.2.135 -> v0.2.137
Updating ppv-lite86 v0.2.16 -> v0.2.17
Updating syn v1.0.102 -> v1.0.103

I am aware that there is a dependabot configuration for keeping such stuff up to date, but it looks like some stuff (e. g. getrandom or ppv-lite) does not get picked up by dependabot.

@mkroening
Copy link
Member

You are correct. I was going to open such a PR myself after fighting our GitLab docker caches. I'll merge this after the other dependabot PRs. This will require a rebase by then.

@striezel
Copy link
Contributor Author

I'll merge this after the other dependabot PRs.

Dependabot will usually notice when its PRs are no longer required due to the dependencies being updated elsewhere and closes them. So merging this PR instead should be sufficient.

@mkroening
Copy link
Member

#578 contains all removals of this PR and #577 also updates Cargo.toml, so I'd like to keep those separate.

Updating futures-core v0.3.24 -> v0.3.25
Updating getrandom v0.2.7 -> v0.2.8
Updating libc v0.2.135 -> v0.2.137
Updating ppv-lite86 v0.2.16 -> v0.2.17
Updating syn v1.0.102 -> v1.0.103
@striezel
Copy link
Contributor Author

@mkroening
PR has been updated to resolve the conflicts caused by the merges of #578 and #577.

@mkroening
Copy link
Member

Thanks!

bors r+

@bors
Copy link
Contributor

bors bot commented Nov 17, 2022

@bors bors bot merged commit cc279f4 into hermit-os:master Nov 17, 2022
@striezel striezel deleted the dependency-updates branch November 18, 2022 21:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants