[RELEASE] v0.4.1 (#153)

* [RELEASE] v0.4.1

* process rust publish first

Co-authored-by: rnbguy <[email protected]>

.github/workflows/prepare-release.yml

@@ -61,6 +61,18 @@ jobs:
         run: |
           ./scripts/prepare_release.sh
 
+      - name: Install Rust stable toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: stable
+          override: true
+
+      - name: Rust publish
+        working-directory: ${{ env.RUST_DIR }}/modelator
+        run: |
+          cargo publish --dry-run
+
       - name: Setup Go
         uses: actions/setup-go@v2
 
@@ -79,15 +91,3 @@ jobs:
         working-directory: ${{ env.PYTHON_DIR }}
         run: |
           poetry publish --username u --password p --build --dry-run
-
-      - name: Install Rust stable toolchain
-        uses: actions-rs/toolchain@v1
-        with:
-          profile: minimal
-          toolchain: stable
-          override: true
-
-      - name: Rust publish
-        working-directory: ${{ env.RUST_DIR }}/modelator
-        run: |
-          cargo publish --dry-run

.github/workflows/release.yml

@@ -59,6 +59,18 @@ jobs:
       - name: Tag on main and make a Github release
         run: ./scripts/github_release.sh
 
+      - name: Install Rust stable toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: stable
+          override: true
+
+      - name: Rust publish
+        working-directory: ${{ env.RUST_DIR }}/modelator
+        run: |
+          cargo publish
+
       - name: Setup Go
         uses: actions/setup-go@v2
 
@@ -78,15 +90,3 @@ jobs:
         run: |
           # poetry publish --build
           echo "Skipping Python package"
-
-      - name: Install Rust stable toolchain
-        uses: actions-rs/toolchain@v1
-        with:
-          profile: minimal
-          toolchain: stable
-          override: true
-
-      - name: Rust publish
-        working-directory: ${{ env.RUST_DIR }}/modelator
-        run: |
-          cargo publish

CHANGELOG.md

@@ -1,5 +1,27 @@
 # CHANGELOG
 
+## v0.4.1
+
+Various fixes and improvements.
+
+### BUG FIXES
+
+- Rust
+  - Fix panics at unexpected jars. (#151)
+  - Fix concurrent TLC execution. (#152)
+
+### IMPROVEMENTS
+
+- Go
+  - Smoother Go build. (#146)
+- Rust
+  - Update Apalache to `v0.17.5`. (#135)
+
+### NOTES
+
+- Rust
+  - A unique directory to store model-checker jars. (#137)
+
 ## v0.4.0
 
 Like the last minor release, this is another massive refactoring release.
@@ -10,25 +32,25 @@ Like the last minor release, this is another massive refactoring release.
 ### FEATURES
 
 - Go
-    Modelator-go for Golang.
-    Implemented step runner.
+  - Modelator-go for Golang.
+  - Implemented step runner.
 - Rust
-    Event stream API.
-    Support for parallel tests.
+  - Event stream API.
+  - Support for parallel tests.
 
 ### IMPROVEMENTS
 
 - Rust
-    Huge rework on modelator-rs API and CLI.
-    Better parsers for TLA+ traces.
-    Execute model checkers in temporary directories to avoid clutters.
+  - Huge rework on modelator-rs API and CLI.
+  - Better parsers for TLA+ traces.
+  - Execute model checkers in temporary directories to avoid clutters.
 
 ### TEST
 
 - General
-    CI Workflow matrix for Windows, MacOS, and Linux.
+  - CI Workflow matrix for Windows, MacOS, and Linux.
 - Rust
-    Large integration test.
+  - Large integration test.
 
 ## v0.3.2
 

py/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "modelator"
-version = "0.4.0"
+version = "0.4.1"
 description = "Python bindings of Modelator"
 license = "Apache-2.0"
 authors = ["Ranadeep Biswas <[email protected]>"]

rs/modelator/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "modelator"
 description = "A framework and tools for model-based testing."
-version = "0.4.0"
+version = "0.4.1"
 edition = "2021"
 rust-version = "1.56"
 license = "Apache-2.0"