use checkout@v3 to avoid Actions deprecations

coq-community · Nov 15, 2022 · 58f8c1d · 58f8c1d
1 parent ce73eff
commit 58f8c1d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -5,7 +5,7 @@ jobs:
   lintAllTheThings:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v1
+      - uses: actions/checkout@v3
       - name: yaml-lint
         uses: ibiqlik/action-yamllint@v1
         with:

diff --git a/docker-action.yml.mustache b/docker-action.yml.mustache
@@ -26,7 +26,7 @@ jobs:
 {{/ tested_coq_opam_versions }}
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
 {{# submodule }}
         with:
           submodules: recursive

diff --git a/nix-action.yml.mustache b/nix-action.yml.mustache
@@ -59,7 +59,7 @@ jobs:
 <%/ community %>
           extraPullNames: coq, math-comp
 <%/ cachix %>
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
         with:
           ref: ${{ env.tested_commit }}
 <%# submodule %>