From 2c5b84d85b16e1e5eb9f5019c95dbee1f0047d17 Mon Sep 17 00:00:00 2001
From: Terts Diepraam <terts.diepraam@gmail.com>
Date: Sun, 20 Aug 2023 16:40:57 +0200
Subject: [PATCH] add homepage deployment to the CI

---
 .github/workflows/docs.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 47b3bb861..f404e0d72 100644
--- 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