Release v1.4.0

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Aug 5, 2024 · 169c7c0 · 169c7c0
1 parent bd1b2bc
commit 169c7c0
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.3.0-dev
+1.4.0
diff --git a/build_sdk.py b/build_sdk.py
@@ -26,7 +26,7 @@
 from typing import Any, Dict, Union, List, Tuple, Optional
 
 NAME = "microkit"
-VERSION = "1.3.0"
+VERSION = "1.4.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.3.0)
+title: Microkit User Manual (v1.4.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 = "1.3.0-dev"
+version = "1.4.0"
 edition = "2021"
 
 [[bin]]