chore: bump version

zhudotexe · Oct 25, 2023 · ebd4030 · ebd4030
1 parent 6cf7600
commit ebd4030
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -12,8 +12,8 @@
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information
 
 project = "kani"
-copyright = "2023, Andrew Zhu and Liam Dugan"
-author = "Andrew Zhu and Liam Dugan"
+copyright = "2023, Andrew Zhu, Liam Dugan, and Alyssa Hwang"
+author = "Andrew Zhu, Liam Dugan, and Alyssa Hwang"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kani"
-version = "0.5.0"
+version = "0.5.1"
 authors = [
     { name = "Andrew Zhu", email = "[email protected]" },
     { name = "Liam Dugan", email = "[email protected]" },