diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d85bed5..1a500c9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -66,7 +66,7 @@ jobs:
             ${{ runner.os }}-lean-docs-${{ hashFiles('lake-manifest.json') }}
             ${{ runner.os }}-lean-docs-
 
-      - uses: actions/setup-python@v6
+      - uses: actions/setup-python@v7
         with:
           python-version: "3.12"
 
diff --git a/.github/workflows/docs-integrity.yml b/.github/workflows/docs-integrity.yml
index d6625ce..f9609e9 100644
--- a/.github/workflows/docs-integrity.yml
+++ b/.github/workflows/docs-integrity.yml
@@ -15,7 +15,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v6
-      - uses: actions/setup-python@v6
+      - uses: actions/setup-python@v7
         with:
           python-version: "3.12"
       - name: Check docs integrity