From eb4bfafe6e3fe65c308d2c665530825fc22d06ab Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 4 Sep 2023 18:16:35 +0000
Subject: [PATCH] Bump actions/checkout from 3 to 4 (#1650)

---
 .github/workflows/coq.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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