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

Fix Kani failures #929

Closed
3 tasks done
joshlf opened this issue Feb 23, 2024 · 1 comment
Closed
3 tasks done

Fix Kani failures #929

joshlf opened this issue Feb 23, 2024 · 1 comment

Comments

@joshlf
Copy link
Member

joshlf commented Feb 23, 2024 •
edited

Kani recently released 0.47, which is causing CI failures such as this one.

Steps
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Pin Kani to last known-good version
403ff04 
Makes progress on #929
@joshlf joshlf mentioned this issue Feb 23, 2024
Merged
github-merge-queue bot pushed a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Pin Kani to last known-good version (#930)
1f7e935 
* [ci] Pin Kani to last known-good version

Makes progress on #929

* Update ci.yml
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version
cd9d5e6 
Makes progress on #929
@joshlf joshlf mentioned this issue Feb 23, 2024
Merged
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version
f204bd0 
Makes progress on #929
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version
dba3b2b 
Makes progress on #929
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version
db430dc 
Makes progress on #929
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version
70fb172 
Makes progress on #929
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version
fb1929f 
Makes progress on #929
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version
d602de4 
Makes progress on #929
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[byteorder] Test test_ops_impls under Kani
b689dfd 
Makes progress on #929
@joshlf joshlf mentioned this issue Feb 23, 2024
Closed
github-merge-queue bot pushed a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Automatically roll pinned Kani version (#931)
f4f80ce 
Makes progress on #929
joshlf added a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Roll Kani version to 0.47.0
29b7cf9 
Closes #929
github-merge-queue bot pushed a commit that referenced this issue Feb 23, 2024
@joshlf
[ci] Roll Kani version to 0.47.0 (#939)
022feb4 
Closes #929
@joshlf
Copy link
Member Author

joshlf commented Feb 23, 2024

Closed in #939

@joshlf joshlf closed this as completed Feb 23, 2024
@joshlf joshlf mentioned this issue Feb 23, 2024
Merged
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

No branches or pull requests
1 participant
@joshlf