add homepage deployment to the CI

tertsdiepraam · tertsdiepraam · commit 2c5b84d85b16 · 2023-08-20T16:40:57.000+02:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -104,6 +104,12 @@ jobs:
         publish_dir: ./coreutils/target/doc
         destination_dir: coreutils/dev/
 
+    - name: Deploy Homepage
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./homepage
+        destination_dir: /
 
   build-report:
     name: generate the build report
