From 0329391d197cf625c502af32c3b2cabae2dc77f2 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Mon, 1 May 2023 20:16:29 +0000 Subject: [PATCH] Add #2399 as major change to `CHANGELOG.md` --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 435aea425f4c..c7cd35c35136 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,12 @@ This file contains notable changes (e.g. breaking changes, major changes, etc.) This file was introduced starting Kani 0.23.0, so it only contains changes from version 0.23.0 onwards. +## [0.27.0] + +### Major changes + +* Added a `--exclude` option (requires `--workspace`) that allows excluding packages from verification by @adpaco-aws in #2399 + ## [0.26.0] ### What's Changed