chore: Release

team-checkr · Mar 28, 2023 · 87989c4 · 87989c4
1 parent e698cbc
commit 87989c4
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 5 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,21 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.16] - 2023-03-28
+
+### Bug Fixes
+
+- Ensure quantifier normalization does not use already present names
+
+### Features
+
+- Print out errors with context in checko evaluation
+
+### Miscellaneous Tasks
+
+- Fix clippy warnings
+- Update lalrpop
+
 ## [0.1.15] - 2023-03-27
 
 ### Features
@@ -11,6 +26,7 @@ All notable changes to this project will be documented in this file.
 ### Miscellaneous Tasks
 
 - Cleanup the Justfile and remove Dockerfile.dev
+- Release
 
 ### Refactor
 

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -2,7 +2,7 @@
 members = ["xtask", "checkr", "inspectify", "checko"]
 
 [workspace.package]
-version = "0.1.15"
+version = "0.1.16"
 repository = "https://github.com/team-checkr/checkr/"
 authors = [
     "Oliver Bøving <oliver@bvng.dk>",