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

index 1a41bf68ae3e98fa4f1bfdb8141c8ab12884eab1..11d31aed140184790ab31a8d6bb4077557c1d285 100644 (file)
@@ -38,9 +38,7 @@ jobs:
       run: | 
         git clone https://github.com/fennecdjay/gwion-coverage-report
         cd gwion-coverage-report
-        git branch
-        git pull
-        git checkout gh-pages -- html
+        git worktree add html origin/gh-pages
 
     - name: Generate Report
       run: |