add homepage deployment to the CI

2026-06-10 16:12:28 -07:00 · 2023-08-20 16:40:57 +02:00
parent 7fb5c4da57
commit 2c5b84d85b
1 changed files with 6 additions and 0 deletions
@@ -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