diff --git a/.github/workflows/alpine.yml b/.github/workflows/alpine.yml
index be01cad3d..07c16c252 100644
--- a/.github/workflows/alpine.yml
+++ b/.github/workflows/alpine.yml
@@ -28,7 +28,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v6
+    - uses: actions/checkout@v7
       with:
         submodules: recursive
     - uses: jirutka/setup-alpine@v1
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
index d127b6e27..2d5bf4d8c 100644
--- a/.github/workflows/coq-docker.yml
+++ b/.github/workflows/coq-docker.yml
@@ -28,7 +28,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v6
+    - uses: actions/checkout@v7
       with:
         submodules: recursive
     - name: all
diff --git a/.github/workflows/debian.yml b/.github/workflows/debian.yml
index c54947103..25f4cb54c 100644
--- a/.github/workflows/debian.yml
+++ b/.github/workflows/debian.yml
@@ -31,7 +31,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v6
+    - uses: actions/checkout@v7
       with:
         submodules: recursive
     - name: setup debian