From 644a1fdb436a14c538b1d4ff462ee80a3d049e09 Mon Sep 17 00:00:00 2001
From: Alex Kremer <akremer@ripple.com>
Date: Tue, 5 Mar 2024 18:13:22 +0000
Subject: [PATCH] Attempt at gh-pages deploy (#1233)

For #889
---
 .github/workflows/docs.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 2cb79486e..8a6af1ab7 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -30,6 +30,7 @@ jobs:
         run: |
           mkdir -p build_docs && cd build_docs
           cmake ../docs && cmake --build . --target docs
+      
       - name: Setup Pages
         uses: actions/configure-pages@v3
 
@@ -38,6 +39,9 @@ jobs:
         with:
           path: build_docs/html
           name: docs-develop # TODO: use x.y.z for `release/x.y.z` branches and `develop` for latest dev docs
+      
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4
+        with:
+          artifact_name: docs-develop