]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Use checkout v2
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 22:05:01 +0000 (00:05 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 22:05:01 +0000 (00:05 +0200)
.github/workflows/benchmarks.yml
.github/workflows/coverity.yml

index c344738e77f55b4be9c2d64edd0a104c2d53ade1..6c56696fd63e2b2a8c341e788550befdedb47863 100644 (file)
@@ -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 }}
index be15cc44914074f5a3a2791daa28e570808cbe84..c62cd9733f1e1dfe1b023354fcc1ecd9b746ff15 100644 (file)
@@ -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