Bump actions/checkout from 3 to 4 (#1650)

mit-plv · Sep 4, 2023 · eb4bfaf · eb4bfaf
1 parent a2f5a5b
commit eb4bfaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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