From 8ae3bc0f4529c5faaeb8b9beb8853619af55b1b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20de=20Courville?= <groupes.raphael@gmail.com>
Date: Wed, 11 Dec 2024 21:16:58 +0100
Subject: [PATCH] Add artifact_name parameter to GitHub Pages deployment step

---
 .github/workflows/build-and-deploy-javadoc.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build-and-deploy-javadoc.yml b/.github/workflows/build-and-deploy-javadoc.yml
index 8bc9add..6db12d9 100644
--- a/.github/workflows/build-and-deploy-javadoc.yml
+++ b/.github/workflows/build-and-deploy-javadoc.yml
@@ -105,6 +105,8 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
+        with:
+          artifact_name: github-pages
 
       - name: Echo the output page URL
         run: echo "Your site is live at ${{ steps.deployment.outputs.page_url }}"