diff --git a/.github/workflows/clang-format-check.yml b/.github/workflows/clang-format-check.yml
index 7a0646911..92d54d667 100644
--- a/.github/workflows/clang-format-check.yml
+++ b/.github/workflows/clang-format-check.yml
@@ -22,7 +22,7 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
     - uses: actions/checkout@v4
-    - uses: ludeeus/action-shellcheck@1.1.0
+    - uses: ludeeus/action-shellcheck@2.0.0
       name: Check that shell scripts follow best practices
       with:
         scandir: './bin'
diff --git a/matching/pom.xml b/matching/pom.xml
index 342fe8694..192574523 100644
--- a/matching/pom.xml
+++ b/matching/pom.xml
@@ -15,7 +15,7 @@
   <name>K Framework LLVM Backend Pattern Matching</name>
 
   <properties>
-    <scala-kore.version>0.3.0</scala-kore.version>
+    <scala-kore.version>0.3.1</scala-kore.version>
   </properties>
 
   <repositories>
diff --git a/nix/overlay.nix b/nix/overlay.nix
index ce59ef4ef..47af58e53 100644
--- a/nix/overlay.nix
+++ b/nix/overlay.nix
@@ -21,7 +21,7 @@ let
 
   llvm-backend-matching = import ./llvm-backend-matching.nix {
     src = prev.llvm-backend-matching-src;
-    mvnHash = "sha256-g5H5C7oYdBZBIPdeyTH7ai29QfNCKVhn8C3hK06ZNj4";
+    mvnHash = "";
     inherit (final) maven;
   };