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

index 93707cebf9bc334e8b1924e49d6efb5d429dc744..6554ea9f3a12f47c3e2d05582c41a7d0e8953931 100644 (file)
@@ -35,7 +35,9 @@ jobs:
          pip install git+https://github.com/gcovr/gcovr.git
 
     - name: Clone report repo
-      run: git clone https://github.com/fennecdjay/gwion-coverage-report
+      run: | 
+        git clone https://github.com/fennecdjay/gwion-coverage-report
+        git checkout gh-pages html
 
     - name: Generate Report
       run: |