Conversation
Automatically create pull requests from the result of running `cargo update` every Monday morning.
|
See tautschnig#22 for an example result of such an automatic update. |
|
@tautschnig would you mind splitting this into two PRs? I'd suggest leaving automatic CBMC updates for later since the review may be more involved. |
|
I suggest using dependabot instead for updating dependent crates. See #2714. Grouped updates are now supported. |
celinval
left a comment
There was a problem hiding this comment.
Thanks for automating this!
Done. This PR is now solely about CBMC, and cargo updates are taken care of by #2899. |
Done, see #2899. |
Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
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.
Automatically create pull requests from the result of updating the CBMC release version checks every Monday morning.
Resolves #2243.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.