diff --git a/.github/workflows/kevm-performance-test.yaml b/.github/workflows/kevm-performance-test.yaml
index b2fd96bc0e..3b48a0dae9 100644
--- a/.github/workflows/kevm-performance-test.yaml
+++ b/.github/workflows/kevm-performance-test.yaml
@@ -80,7 +80,7 @@ jobs:
           nix run github:runtimeverification/evm-semantics#compare-profiles -- KEVM-timing-$TIMESTAMP-${PR_HEAD}.data KEVM-timing-$TIMESTAMP-master.data | tee KEVM-timing-comparison.data
 
       - name: Publish Results
-        uses: actions/upload-artifact@v3.1.0
+        uses: actions/upload-artifact@v4
         with:
           path: ./KEVM-timing*.data
 
diff --git a/.github/workflows/profiling.yaml b/.github/workflows/profiling.yaml
index fcf762af32..a77b949897 100644
--- a/.github/workflows/profiling.yaml
+++ b/.github/workflows/profiling.yaml
@@ -52,7 +52,7 @@ jobs:
         run: |
           echo "PR_HEAD=$(curl -s ${{ github.event.issue.pull_request.url }} | jq '.head.sha' | xargs echo)" | tee -a $GITHUB_OUTPUT
       - name: Check out code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           ref: '${{ steps.determine-commit.outputs.PR_HEAD }}'
       - name: Run Tests
@@ -73,7 +73,7 @@ jobs:
           nix run .#profile ./${FILE_NAME}
 
       - name: Publish Profile Results
-        uses: actions/upload-artifact@v3.1.0
+        uses: actions/upload-artifact@v4
         with:
           path: ./profile-*.tar.gz
 
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index c33609cf04..ad9ab1013b 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -148,7 +148,7 @@ jobs:
             stack-haddock-2-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}
             stack-haddock-2-${{ runner.os }}-ghc-${{ env.ghc_version }}
 
-      - uses: haskell-actions/setup@v2
+      - uses: haskell-actions/setup@v2.6.1
         id: setup-haskell-stack
         with:
           ghc-version: ${{ env.ghc_version }}
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 86767fb756..031c69fd02 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -183,7 +183,7 @@ jobs:
             stack-2-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}
             stack-2-${{ runner.os }}-ghc-${{ env.ghc_version }}
 
-      - uses: haskell-actions/setup@v2
+      - uses: haskell-actions/setup@v2.6.1
         id: setup-haskell-stack
         with:
           ghc-version: ${{ env.ghc_version }}