-
Notifications
You must be signed in to change notification settings - Fork 98
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
Automate cargo update without dependabot #2942
Conversation
Automatically create pull requests from the result of running `cargo update` every Monday morning. This should avoid the need for manual PRs to update Cargo.lock, which seemingly dependabot wouldn't take care of. We now only use dependabot to update github actions.
I'm assuming that depandabot doesn't update transitive dependencies. |
It would seem so, but this doesn't seem to be documented anywhere ( I don't mind much about dependabot, we could keep it. But I'd really like to reduce the number of manual steps where they are straightforward to automate. |
According to dependabot/feedback#394 (comment), dependabot runs Anyway, if we have a working solution, we don't need to dwell too much on getting dependabot to do what we need. I was just trying to avoid introducing new code for this purpose, to avoid increasing our maintenance burden. |
I'd love to learn about this - I have tried to find what configuration it would take, but wasn't able to come up with anything that worked.
Equally I am for keeping our own code to a minimum. I suggest that we revert this PR if we ever come across a way to make dependabot do all the work for us. |
These are the auto-generated release notes for comparison purposes: ## What's Changed * Automate cargo update without dependabot by @tautschnig in #2942 * Update nightly toolchain to toolchain-2023-12-15 by @celinval in #2948 * Automatic cargo update to 2023-12-18 by @github-actions in #2951 * Migrate function, block and statement modules to StableMIR by @celinval in #2947 * Update Rust toolchain to `nightly-2023-12-18` by @adpaco-aws in #2953 * Update the rust toolchain to 2023-12-20 by @celinval in #2961 * Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR by @celinval in #2959 * Build CBMC with `cmake` in all "CBMC latest" jobs by @adpaco-aws in #2965 * Automatic cargo update to 2024-01-01 by @github-actions in #2964 * Automatic cargo update to 2024-01-08 by @github-actions in #2968 * Upgrade to 2024-01-08 rust toolchain by @zhassan-aws in #2969 **Full Changelog**: kani-0.43.0...kani-0.44.0 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Automatically create pull requests from the result of running
cargo update
every Monday morning. This should avoid the need for manual PRs to update Cargo.lock, which seemingly dependabot wouldn't take care of. We now only use dependabot to update github actions.This revives what I had initially proposed in #2895 in light of #2940.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.