From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 22 Sep 2020 22:05:01 +0000 (+0200)
Subject: :wrench: Use checkout v2
X-Git-Tag: nightly~1271
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=8b94cdbd2ed9e17e5f597402cc44f877a725360e;p=gwion.git

:wrench: Use checkout v2
---

diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml
index c344738e..6c56696f 100644
--- a/.github/workflows/benchmarks.yml
+++ b/.github/workflows/benchmarks.yml
@@ -9,6 +9,9 @@ jobs:
   post-test-success:
     runs-on: ubuntu-latest
     steps:
+
+    - uses: actions/checkout@v2
+
     - name: call the other repo
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index be15cc44..c62cd973 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -14,7 +14,7 @@ jobs:
 
     steps:
     - name: Checkout
-      uses: actions/checkout@v1
+      uses: actions/checkout@v2
 
     - name: Init submodules
       run: git submodule update --init util ast