diff --git a/.github/workflows/ghcjs.yml b/.github/workflows/ghcjs.yml
index 617fca941..38df74136 100644
--- a/.github/workflows/ghcjs.yml
+++ b/.github/workflows/ghcjs.yml
@@ -37,7 +37,7 @@ jobs:
             keep-outputs = true
       
       - name: Restore and cache Nix store
-        uses: deemp/cache-nix-too@v1
+        uses: nix-community/cache-nix-action@v1
         with:
           key: ${{ runner.os }}-nix-${{ hashfiles('./flake.nix', './flake.lock', '.github/workflows/ghcjs.yml') }}
           restore-keys: |
diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md
index 7d2316971..a76472e73 100644
--- a/rzk/ChangeLog.md
+++ b/rzk/ChangeLog.md
@@ -6,6 +6,13 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to the
 [Haskell Package Versioning Policy](https://pvp.haskell.org/).
 
+## v0.5.4 — 2022-08-19
+
+This version contains minor improvements:
+
+1. Improve typechecking by trying an easier unification strategy first (see [#76](https://github.com/rzk-lang/rzk/pull/76));
+2. Update GitHub Action for Nix (see [#74](https://github.com/rzk-lang/rzk/pull/74)).
+
 ## v0.5.3 — 2022-07-12
 
 This version contains a few minor improvements:
diff --git a/rzk/package.yaml b/rzk/package.yaml
index e4a5fa5cf..164ac8643 100644
--- a/rzk/package.yaml
+++ b/rzk/package.yaml
@@ -1,5 +1,5 @@
 name: rzk
-version: 0.5.3
+version: 0.5.4
 github: "rzk-lang/rzk"
 license: BSD3
 author: "Nikolai Kudasov"
diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal
index fd8fae9a6..5d95c9776 100644
--- a/rzk/rzk.cabal
+++ b/rzk/rzk.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           rzk
-version:        0.5.3
+version:        0.5.4
 synopsis:       An experimental proof assistant for synthetic ∞-categories
 description:    Please see the README on GitHub at <https://github.com/rzk-lang/rzk#readme>
 category:       Dependent Types
diff --git a/rzk/rzk.nix b/rzk/rzk.nix
index c229a75e8..a0c9df368 100644
--- a/rzk/rzk.nix
+++ b/rzk/rzk.nix
@@ -3,7 +3,7 @@
 }:
 mkDerivation {
   pname = "rzk";
-  version = "0.5.3";
+  version = "0.5.4";
   src = ./.;
   isLibrary = true;
   isExecutable = true;