diff --git a/.github/workflows/gather_stats_single.yml b/.github/workflows/gather_stats_single.yml
index 98eceeb1a8..1bd26a2fbc 100644
--- a/.github/workflows/gather_stats_single.yml
+++ b/.github/workflows/gather_stats_single.yml
@@ -13,7 +13,7 @@ jobs:
 
     steps:
     - name: Checkout repository
-      uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
+      uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
       with:
         # Careful: this script must NOT be run on a stubborn PR, otherwise this logic breaks.
         # (A stubborn PR would have a directory data/NUMBER-basic.)
@@ -23,7 +23,7 @@ jobs:
         ref: master
 
     - name: "Checkout queueboard-core"
-      uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
+      uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
       with:
         repository: leanprover-community/queueboard-core
         ref: master
diff --git a/.github/workflows/regenerate_dashboard.yml b/.github/workflows/regenerate_dashboard.yml
index b72994e9fe..5703e05dd6 100644
--- a/.github/workflows/regenerate_dashboard.yml
+++ b/.github/workflows/regenerate_dashboard.yml
@@ -15,10 +15,10 @@ jobs:
 
     steps:
     - name: Checkout repository
-      uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
+      uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
 
     - name: "Checkout queueboard-core"
-      uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
+      uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
       with:
         repository: leanprover-community/queueboard-core
         ref: master
diff --git a/.github/workflows/update_metadata.yml b/.github/workflows/update_metadata.yml
index 77faee48f3..6dfe85eb2c 100644
--- a/.github/workflows/update_metadata.yml
+++ b/.github/workflows/update_metadata.yml
@@ -26,12 +26,12 @@ jobs:
 
     steps:
     - name: Checkout repository
-      uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
+      uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
       with:
         ref: master
 
     - name: "Checkout queueboard-core"
-      uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
+      uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
       with:
         repository: leanprover-community/queueboard-core
         ref: master