diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 68e58ae1..8b6f0b24 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -12,6 +12,6 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       # 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 6fbd0364..3c6dbc58 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@v4
+        uses: actions/checkout@v5
       - name: Update project
         uses: leanprover-community/lean-update@main
         with: