From 6a065e3c162b07bfcc9e2171b0239f173e2edaec Mon Sep 17 00:00:00 2001
From: Tri Nguyen <nguy8tri@uw.edu>
Date: Mon, 16 Sep 2024 23:09:43 -0700
Subject: [PATCH] Trying another deploy-pages target

---
 .github/workflows/build.yml | 43 +++++++++++++++++++++++--------------
 1 file changed, 27 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 06995f5..f4dd009 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -48,29 +48,40 @@ jobs:
       with:
         name: Coverage Report
         path: build/documentation/coverage
-    - name: Install rsync
-      run: apt install -y rsync
-    - name: Deploy coverage to GitHub Pages
-      uses: JamesIves/github-pages-deploy-action@v4
-      with:
-        name: Coverage Report
-        branch: documentation
-        folder: build/documentation/coverage
-        target-folder: coverage-${{ github.ref_name }}
   
-  doxygen:
+  documentation:
     runs-on: ubuntu-latest
     container: nguy8tri/huskysat:latest
+    needs: [build, lint, coverage]
     steps:
     - uses: actions/checkout@v3
+    - name: make coverage
+      run: make coverage
     - name: Doxygen
       run: make doxygen_generate
     - name: Install rsync
       run: apt install -y rsync
-    - name: Upload Doxygen Documentation
-      uses: JamesIves/github-pages-deploy-action@v4
+    - name: Upload Pages Artifact
+      uses: actions/upload-pages-artifact@v3
       with:
-        name: Doxygen Documentation
-        branch: documentation
-        folder: build/documentation/doxygen/html
-        target-folder: doxygen
\ No newline at end of file
+        path: build/documentation
+
+  deploy:
+    needs: [documentation]
+
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
+    # Deploy to the github-pages environment
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    # Specify runner + deployment step
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
\ No newline at end of file