Added Deploy to Github pages steps

ethz-asl · Jan 10, 2024 · 41e1bcb · 41e1bcb
1 parent 406a81d
commit 41e1bcb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/coverage_report.yml b/.github/workflows/coverage_report.yml
@@ -61,5 +61,9 @@ jobs:
         with:
             path: ./catkin_ws/src/lpp/build/coverage
 
+      - name: Deploy to Github pages
+        uses: actions/deploy-pages@v4
+        id: deployment
+