chore: release

oeb25 · Sep 12, 2024 · 92fe06c · 92fe06c
1 parent 787a671
commit 92fe06c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,7 @@
 
 All notable changes to this project will be documented in this file.
 
+<!-- generated by git-cliff -->
 ## [0.2.0] - 2024-05-02
 
 ### Documentation

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -3,14 +3,14 @@ members = ["smtlib", "lowlevel", "xtask"]
 resolver = "2"
 
 [workspace.package]
-version = "0.2.0"
+version = "0.3.0"
 
 [workspace.dependencies]
 itertools = "0.12.0"
 miette = { version = "5.5.0" }
 serde = { version = "1.0.152", features = ["derive"] }
 smtlib = { path = "./smtlib" }
-smtlib-lowlevel = { path = "./lowlevel", version = "0.2.0" }
+smtlib-lowlevel = { path = "./lowlevel", version = "0.3.0" }
 thiserror = "1.0.38"
 insta = { version = "1.23.0", features = ["ron"] }