diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 07529e60..20bfb663 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -44,7 +44,7 @@ jobs:
           swap-storage: false
 
       - name: Checkout project
-        uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
+        uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
         with:
           fetch-depth: 0 # Fetch all history for all branches and tags
 
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
index d3098305..1783e52a 100644
--- a/.github/workflows/update.yml
+++ b/.github/workflows/update.yml
@@ -12,7 +12,7 @@ jobs:
       contents: write
       pull-requests: write
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
 
       - name: Bump to latest mathlib
         id: bump
@@ -33,7 +33,7 @@ jobs:
       contents: write
       pull-requests: write
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
 
       - name: Open or update incompatibility issue and PR
         uses: leanprover-community/downstream-reports/.github/actions/track-incompatibility@main