diff --git a/.github/workflows/makefile-test.yaml b/.github/workflows/makefile-test.yaml
index 24c412b..74b771b 100644
--- a/.github/workflows/makefile-test.yaml
+++ b/.github/workflows/makefile-test.yaml
@@ -17,9 +17,9 @@ jobs:
         python-version: [ '3.8', '3.9', '3.10' ]
     name: Python ${{ matrix.python-version }}
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v4
       - name: Set up Python
-        uses: actions/setup-python@v6
+        uses: actions/setup-python@v5
         with:
           python-version: ${{ matrix.python-version }}
       - name: Install latest CBMC
diff --git a/.github/workflows/release-brew.yaml b/.github/workflows/release-brew.yaml
index 55b401e..35820c2 100644
--- a/.github/workflows/release-brew.yaml
+++ b/.github/workflows/release-brew.yaml
@@ -150,7 +150,7 @@ jobs:
           path: '*.bottle.*'
 
       - name: Upload release binary
-        uses: softprops/action-gh-release@v2
+        uses: softprops/action-gh-release@v3
         with:
           files: ${{ steps.get_package_path.outputs.bottle_name }}
 
diff --git a/.github/workflows/release-pypi.yaml b/.github/workflows/release-pypi.yaml
index 0b9649b..ac4c784 100644
--- a/.github/workflows/release-pypi.yaml
+++ b/.github/workflows/release-pypi.yaml
@@ -35,7 +35,7 @@ jobs:
         run: |
           echo "package_name=$(ls dist/*.whl | cut -d / -f 2)" >> $GITHUB_OUTPUT
       - name: Upload release binary
-        uses: softprops/action-gh-release@v2
+        uses: softprops/action-gh-release@v3
         with:
           files: dist/${{ steps.get_package_name.outputs.package_name }}
       - name: Publish package distributions to PyPI