Release v1.4.1

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Aug 16, 2024 · 395cf0e · 395cf0e
1 parent 13369e4
commit 395cf0e
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.4.0-dev
+1.4.1
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.4.0"
+VERSION = "1.4.1"
 
 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.4.0-dev)
+title: Microkit User Manual (v1.4.1)
 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.4.0-dev"
+version = "1.4.1"
 edition = "2021"
 rust-version = "1.73.0"