Skip to content

Conversation

@ShadowCurse
Copy link
Contributor

Summary of the PR

Prepare v0.15.0 release

Requirements

Before submitting your PR, please make sure you addressed the following
requirements:

  • All commits in this PR have Signed-Off-By trailers (with
    git commit -s), and the commit message has max 60 characters for the
    summary and max 75 characters for each description line.
  • All added/changed functionality has a corresponding unit/integration
    test.
  • All added/changed public-facing functionality has entries in the "Upcoming
    Release" section of CHANGELOG.md (if no such section exists, please create one).
  • Any newly added unsafe code is properly documented.

Signed-off-by: Egor Lazarchuk <[email protected]>
@stefano-garzarella
Copy link
Member

Should we include also #328 ?

@ShadowCurse
Copy link
Contributor Author

So I looked at #328, but for it to work, we need updated virtio-queue (rust-vmm/vm-virtio#368) and that is blocked by the kani proofs.

@stefano-garzarella
Copy link
Member

@ShadowCurse right, but we should be near to fix it: rust-vmm/vm-virtio#371

@stefano-garzarella
Copy link
Member

Or we should disable kani

@ShadowCurse
Copy link
Contributor Author

Ok, let's wait for the fix.

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.

2 participants