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

Automate CBMC update #2895

Merged
merged 9 commits into from
Nov 29, 2023
Merged

Conversation

tautschnig
Copy link
Member

@tautschnig tautschnig commented Nov 27, 2023

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.

Automatically create pull requests from the result of running `cargo
update` every Monday morning.
@tautschnig tautschnig requested a review from a team as a code owner November 27, 2023 13:02
@tautschnig tautschnig changed the title Automate cargo update Automate cargo and CBMC update Nov 27, 2023
@tautschnig
Copy link
Member Author

See tautschnig#22 for an example result of such an automatic update.

@adpaco-aws
Copy link
Contributor

@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.

@zhassan-aws
Copy link
Contributor

zhassan-aws commented Nov 27, 2023

I suggest using dependabot instead for updating dependent crates. See #2714. Grouped updates are now supported.

Copy link
Contributor

@celinval celinval left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for automating this!

.github/workflows/cbmc-update.yml Outdated Show resolved Hide resolved
.github/workflows/cbmc-update.yml Show resolved Hide resolved
.github/workflows/cargo-update.yml Outdated Show resolved Hide resolved
@tautschnig tautschnig changed the title Automate cargo and CBMC update Automate CBMC update Nov 28, 2023
@tautschnig
Copy link
Member Author

@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.

Done. This PR is now solely about CBMC, and cargo updates are taken care of by #2899.

@tautschnig
Copy link
Member Author

I suggest using dependabot instead for updating dependent crates. See #2714. Grouped updates are now supported.

Done, see #2899.

.github/workflows/cbmc-update.yml Outdated Show resolved Hide resolved
.github/workflows/cbmc-update.yml Show resolved Hide resolved
.github/workflows/cbmc-update.yml Show resolved Hide resolved
.github/workflows/cbmc-update.yml Outdated Show resolved Hide resolved
.github/workflows/cbmc-update.yml Outdated Show resolved Hide resolved
.github/workflows/cbmc-update.yml Outdated Show resolved Hide resolved
tautschnig and others added 4 commits November 28, 2023 21:41
Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
@adpaco-aws adpaco-aws removed their assignment Nov 28, 2023
@tautschnig tautschnig merged commit 38179ae into model-checking:main Nov 29, 2023
20 checks passed
@tautschnig tautschnig deleted the auto-update-deps branch November 29, 2023 09:41
tautschnig added a commit that referenced this pull request Dec 14, 2023
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.
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.

Create script to update CBMC-version upon manual trigger
5 participants