diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
index 414eee81b..a1f648de7 100644
--- a/.github/workflows/update-version.yml
+++ b/.github/workflows/update-version.yml
@@ -24,6 +24,19 @@ jobs:
           git config user.email devops@runtimeverification.com
       - name: 'Install Poetry'
         uses: Gr1N/setup-poetry@v8
+      - name: 'Install Nix'
+        uses: cachix/install-nix-action@v22
+        with:
+          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          extra_nix_config: |
+            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+      - name: 'Install Cachix'
+        uses: cachix/cachix-action@v14
+        with:
+          name: k-framework
+          authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
       - name: 'Update pyk release tag'
         run: |
           K_VERSION=v"$(cat deps/k_release)"
diff --git a/package/version b/package/version
index 4a3e97d00..278cbc8db 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.42
+0.1.43
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 82a33a68f..6ac582623 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.42"
+version = "0.1.43"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",