Skip to content

Release 0.13.5 - #1070

Merged
JacobStephens2 merged 1 commit into
mainfrom
release-0.13.5
Oct 22, 2026
Merged

JacobStephens2 merged 1 commit into
mainfrom
release-0.13.5

Conversation

@JacobStephens2

Copy link
Copy Markdown
Owner

Summary

0.13.5 saves each owning Command’s Run notification beside its Command log, with email on or off. The .notification.txt file contains the same subject and body used for email; write failures warn without changing the outcome (#1064).

Also: affected local test selection and nextest guidance (#998), setup/release test child cleanup (#1062, #1063), bounded Pickup model checks retaining a pre-Claim dispatch counterexample (#1067), and docs/template updates (#1042, #1044, #1045).

Version diff

diff --git a/Cargo.lock b/Cargo.lock
index d7f7ee4..f2ed634 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1882,3 +1882,3 @@ dependencies = [
 name = "thirdshift"
-version = "0.13.4"
+version = "0.13.5"
 dependencies = [
diff --git a/Cargo.toml b/Cargo.toml
index 8bd16ea..429eddf 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,3 +2,3 @@
 name = "thirdshift"
-version = "0.13.4"
+version = "0.13.5"
 edition = "2024"

@JacobStephens2
JacobStephens2 merged commit d3e1c17 into main Oct 22, 2026
18 checks passed
@JacobStephens2
JacobStephens2 deleted the release-0.13.5 branch October 22, 2026 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant