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.

Sign up for GitHub

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

Jump to bottom

CBMC upgrade to 5.95.1 failed #3155

Closed
github-actions bot opened this issue Apr 22, 2024 · 0 comments · Fixed by #3156
Closed

CBMC upgrade to 5.95.1 failed #3155

github-actions bot opened this issue Apr 22, 2024 · 0 comments · Fixed by #3156

Comments

@github-actions
Copy link
Contributor

Updating CBMC from "5.95.1" to 5.95.1 failed.
The failed automated run can be found here.
tautschnig added a commit to tautschnig/kani that referenced this issue Apr 22, 2024
@tautschnig
Fix cbmc-update CI job
a576e53 
We had a spurious update attempt logged in model-checking#3155 for the job prior to
this fix would empty out the version strings. This was caused by use of
undefined variables.

Resolves: model-checking#3155
@tautschnig tautschnig mentioned this issue Apr 22, 2024
Merged
zhassan-aws added a commit that referenced this issue Apr 23, 2024
@tautschnig @adpaco-aws @zhassan-aws
Fix cbmc-update CI job (#3156)
180e10c 
We had a spurious update attempt logged in #3155 for the job prior to
this fix would empty out the version strings. This was caused by use of
undefined variables.

Resolves: #3155

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 <[email protected]>
Co-authored-by: Zyad Hassan <[email protected]>
zpzigi754 pushed a commit to zpzigi754/kani that referenced this issue May 8, 2024
@tautschnig @adpaco-aws
@zhassan-aws @zpzigi754
Fix cbmc-update CI job (model-checking#3156)
4133cd9 
We had a spurious update attempt logged in model-checking#3155 for the job prior to
this fix would empty out the version strings. This was caused by use of
undefined variables.

Resolves: model-checking#3155

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 <[email protected]>
Co-authored-by: Zyad Hassan <[email protected]>
qinheping pushed a commit to qinheping/kani that referenced this issue May 9, 2024
@tautschnig @adpaco-aws
@zhassan-aws @qinheping
Fix cbmc-update CI job (model-checking#3156)
b244770 
We had a spurious update attempt logged in model-checking#3155 for the job prior to
this fix would empty out the version strings. This was caused by use of
undefined variables.

Resolves: model-checking#3155

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 <[email protected]>
Co-authored-by: Zyad Hassan <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix cbmc-update CI job tautschnig/kani
0 participants