Skip to content

Commit

Permalink
Release version 1.3.0
Browse files Browse the repository at this point in the history
Signed-off-by: Ivan Velickovic <[email protected]>
  • Loading branch information
Ivan-Velickovic committed Jul 1, 2024
1 parent c56f318 commit 1ccdfcb
Show file tree
Hide file tree
Showing 5 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion VERSION.md
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.2.6-dev
1.3.0
2 changes: 1 addition & 1 deletion build_sdk.py
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion docs/manual.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
-->

---
title: Microkit User Manual (v1.2.6)
title: Microkit User Manual (v1.3.0)
documentclass: article
classoption:
- english
Expand Down
2 changes: 1 addition & 1 deletion tool/microkit/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion tool/microkit/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@

[package]
name = "microkit-tool"
version = "0.1.0"
version = "1.3.0"
edition = "2021"

[[bin]]
Expand Down

0 comments on commit 1ccdfcb

Please sign in to comment.