diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 8b6f0b24..1ecc91e2 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -12,6 +12,6 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       # uses lean standard action with all default input values
       - uses: leanprover/lean-action@v1
\ No newline at end of file
diff --git a/.github/workflows/update-toolchain.yml b/.github/workflows/update-toolchain.yml
index 3c6dbc58..67f6101f 100644
--- a/.github/workflows/update-toolchain.yml
+++ b/.github/workflows/update-toolchain.yml
@@ -16,7 +16,7 @@ jobs:
       pull-requests: write # Grants permission to create or update pull requests
     steps:
       - name: Checkout code
-        uses: actions/checkout@v5
+        uses: actions/checkout@v6
       - name: Update project
         uses: leanprover-community/lean-update@main
         with: