diff --git a/.github/workflows/ci-dev.yml b/.github/workflows/ci-dev.yml
index fba54557..ae743fe0 100644
--- a/.github/workflows/ci-dev.yml
+++ b/.github/workflows/ci-dev.yml
@@ -27,7 +27,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: coq-community/docker-coq-action@v1
       with:
         coq_version: ${{ matrix.coq-version }}
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 74a154bf..c6441f07 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -39,7 +39,7 @@ jobs:
         sudo add-apt-repository "$PPA" -y
         sudo apt-get -o Acquire::Retries=30 update -q
         sudo apt-get -o Acquire::Retries=30 install $COQ_PACKAGE -y --allow-unauthenticated
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Set up Python ${{ matrix.python-version }}
       uses: actions/setup-python@v4
       with: