Update actions/checkout in CI

tchajed · Aug 13, 2024 · e2aaf32 · e2aaf32
1 parent 30bfb9f
commit e2aaf32
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - master
-    tags: '*'
+    tags: ['v*']
   pull_request:
   schedule:
     # Tuesday 8am UTC (3am EST)
@@ -26,7 +26,7 @@ jobs:
           - 'coqorg/coq:8.14'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-record-update.opam'