]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: pull
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 23 Feb 2020 12:03:43 +0000 (13:03 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 23 Feb 2020 12:03:43 +0000 (13:03 +0100)
.github/workflows/coverage.yml

index 4ec3d340cfa7664eb56d8ae8efe40c5265e24294..1c3a6fee7cb338cf366264de736cb02139445bd0 100644 (file)
@@ -38,6 +38,7 @@ jobs:
       run: | 
         git clone https://github.com/fennecdjay/gwion-coverage-report
         cd gwion-coverage-report
+        git pull
         git checkout gh-pages -- html
 
     - name: Generate Report