diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 655ef8a3..ccda1a90 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -19,7 +19,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout project
-        uses: actions/checkout@v7
+        uses: actions/checkout@v7.0.1
         with:
           fetch-depth: 0
 
@@ -37,7 +37,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout project
-        uses: actions/checkout@v7
+        uses: actions/checkout@v7.0.1
         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 7aa5ceb3..d6217949 100644
--- a/.github/workflows/update.yml
+++ b/.github/workflows/update.yml
@@ -46,7 +46,7 @@ jobs:
       contents: write
       pull-requests: write
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
 
       # Skip the LKG bump entirely while an incompatibility is reported
       # When a regression exists, we want reviewer attention focused entirely
@@ -91,7 +91,7 @@ jobs:
       contents: write
       pull-requests: write
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
       - name: Open or update incompatibility issue
         id: track
         uses: leanprover-community/downstream-reports/.github/actions/track-incompatibility@main