diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 2170d52024..55293dbbe4 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -44,7 +44,7 @@ jobs:
         coqc --version
         coqc -config
         true | coqtop
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: submodules-init
       uses: snickerbockers/submodules-init@v4
     - name: remove autogenerated