diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5b0c23a0..db0b926d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,54 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.13] - 2023-03-23
+
+### Bug Fixes
+
+- Recompute the graph in inspectify after recompilation
+- Remove copy of removed rust-toolchain.toml into Dockerfile
+- Do not crash if one group did not produce a run result in checko
+- Update definition vc(b -> C) to include b
+- Produce the correct number of configurations in interpreter
+- Correct set spans in checko
+- Do not crash if pushing results to one group fails
+
+### Documentation
+
+- Update development requirements for inspectify
+- Change `typeshare` to `typeshare-cli` in unix setup script
+- Finish a sentence in inspectify readme
+
+### Features
+
+- Randomize determinism in interpreter input
+- Initial draft of predicates and enriched commands
+- Add substitution to enriched expressions
+- Implement SP and VC for program verification analysis
+- Generate annotated programs
+- Validation for PV and remove all WASM
+- Use WebSockets for compilation status in inspectify
+- Allow specifying which programs are shown in results individually
+- Display invalid output in inspectify
+- Improve graph debugging inspectify
+- Do not crash if we could not pull from the result branch
+
+### Miscellaneous Tasks
+
+- Add a license to Cargo.toml
+- Do not open F# panel on startup in VSCode
+- Test commit to see build times with smtlib and z3
+- Remove z3 dep again, and correct pv output format
+- Update fsharp-starter ref
+- Update Cargo.lock
+- Add a comment to the Justfile for running inspectify against fsharp-starter
+
+### Refactor
+
+- Improve inspectify internals
+- Split inspectify backend up into multiple files
+- Catch all errors from single groups to not crash when pushing results
+
 ## [0.1.12] - 2023-03-16
 
 ### Bug Fixes
@@ -23,6 +71,7 @@ All notable changes to this project will be documented in this file.
 - Add easy to use option to run inspectify against fsharp-starter
 - Update fsharp-starter ref
 - Prepare changelog for release
+- Release
 
 ## [0.1.11] - 2023-03-11
 
diff --git a/Cargo.lock b/Cargo.lock
index ee0926a0..67d72b7c 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -526,7 +526,7 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 
 [[package]]
 name = "checko"
-version = "0.1.12"
+version = "0.1.13"
 dependencies = [
  "checkr",
  "chrono",
@@ -549,7 +549,7 @@ dependencies = [
 
 [[package]]
 name = "checkr"
-version = "0.1.12"
+version = "0.1.13"
 dependencies = [
  "bitflags 1.3.2",
  "clap",
@@ -2297,7 +2297,7 @@ dependencies = [
 
 [[package]]
 name = "inspectify"
-version = "0.1.12"
+version = "0.1.13"
 dependencies = [
  "axum",
  "axum-macros",
@@ -4773,7 +4773,7 @@ checksum = "1dbabb1cbd15a1d6d12d9ed6b35cc6777d4af87ab3ba155ea37215f20beab80c"
 
 [[package]]
 name = "xtask"
-version = "0.1.12"
+version = "0.1.13"
 dependencies = [
  "binswap-github",
  "clap",
diff --git a/Cargo.toml b/Cargo.toml
index f4a7255d..d3d835cf 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,7 +2,7 @@
 members = ["xtask", "checkr", "inspectify", "checko"]
 
 [workspace.package]
-version = "0.1.12"
+version = "0.1.13"
 repository = "https://github.com/team-checkr/checkr/"
 authors = [
     "Oliver Bøving <oliver@bvng.dk>",