Skip to content

Ubuntu 18.04 package for CBMC 5.65.0 is missing #7095

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

Closed
zhassan-aws opened this issue Sep 2, 2022 · 6 comments
Closed

Ubuntu 18.04 package for CBMC 5.65.0 is missing #7095

zhassan-aws opened this issue Sep 2, 2022 · 6 comments
Assignees
Labels
aws Bugs or features of importance to AWS CBMC users aws-high

Comments

@zhassan-aws
Copy link
Collaborator

image

Seems it failed in CI: https://github.com/diffblue/cbmc/runs/8139333515?check_suite_focus=true

@danielsn danielsn added aws Bugs or features of importance to AWS CBMC users aws-high labels Sep 3, 2022
@NlightNFotis NlightNFotis self-assigned this Sep 5, 2022
@NlightNFotis
Copy link
Contributor

Hello, there seems to be a new version of z3 installed in one of the actions that run per PR, but somehow we missed adding it to the release build job - which made it fail when the tests run.

I will fix it now, but we need to make a point release to fix that. We'll work on an ASAP basis to get it done today, to avoid any disruption to your release cycle.

@NlightNFotis
Copy link
Contributor

We have now released version 5.65.1 which contains binaries for Ubuntu 18.04.

Apologies for any disruption caused by this.

@thomasspriggs
Copy link
Contributor

This issue should now be resolved by the provision of a new release. Please feel free to re-open if that does not meet your needs.

@zhassan-aws
Copy link
Collaborator Author

Thanks! Would it be possible to add the 5.65.1 version to the CBMC brew tap?

@NlightNFotis
Copy link
Contributor

@zhassan-aws I just added it to the tap.

Let us know if there are any further issues! Thanks for your patience.

@zhassan-aws
Copy link
Collaborator Author

Thanks @NlightNFotis!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
aws Bugs or features of importance to AWS CBMC users aws-high
Projects
None yet
Development

No branches or pull requests

4 participants