diff --git a/.github/workflows/local-ci.yml b/.github/workflows/local-ci.yml
index 6ea513a..ec8f4ef 100644
--- a/.github/workflows/local-ci.yml
+++ b/.github/workflows/local-ci.yml
@@ -17,7 +17,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Setup Lean
         uses: leanprover/lean-action@v1
diff --git a/.github/workflows/proof-bot.yml b/.github/workflows/proof-bot.yml
index 1c05ddb..0103a4e 100644
--- a/.github/workflows/proof-bot.yml
+++ b/.github/workflows/proof-bot.yml
@@ -11,7 +11,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Setup Lean
         uses: leanprover/lean-action@v1