Release version 1.3.0

Ivan-Velickovic · Ivan-Velickovic · commit 1ccdfcb3b224 · 2024-07-01T17:27:51.000+10:00
Signed-off-by: Ivan Velickovic &lt;i.velickovic@unsw.edu.au&gt;
diff --git a/VERSION.md b/VERSION.md
@@ -1 +1 @@
-1.2.6-dev
+1.3.0
diff --git a/build_sdk.py b/build_sdk.py
@@ -24,7 +24,7 @@
 from typing import Dict, Union, List, Tuple
 
 NAME = "microkit"
-VERSION = "1.2.6"
+VERSION = "1.3.0"
 
 ENV_BIN_DIR = Path(executable).parent
 
diff --git a/docs/manual.md b/docs/manual.md
@@ -4,7 +4,7 @@
 -->
 
 ---
-title: Microkit User Manual (v1.2.6)
+title: Microkit User Manual (v1.3.0)
 documentclass: article
 classoption:
 - english
diff --git a/tool/microkit/Cargo.lock b/tool/microkit/Cargo.lock
diff --git a/tool/microkit/Cargo.toml b/tool/microkit/Cargo.toml
@@ -6,7 +6,7 @@
 
 [package]
 name = "microkit-tool"
-version = "0.1.0"
+version = "1.3.0"
 edition = "2021"
 
 [[bin]]
