From 6d730728e847124fd0d168066a4d50b92c42f010 Mon Sep 17 00:00:00 2001
From: Javier Arroyo <javier.arroyo@kuleuven.be>
Date: Thu, 31 Aug 2023 19:04:45 +0200
Subject: [PATCH] Have deployed artifact with index.html at the top level since
 this is the entry file to GitHub Pages.

---
 .github/workflows/custom-web-build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/custom-web-build.yml b/.github/workflows/custom-web-build.yml
index 9449c8e0b..9527c29b9 100644
--- a/.github/workflows/custom-web-build.yml
+++ b/.github/workflows/custom-web-build.yml
@@ -38,8 +38,8 @@ jobs:
     - name: Upload artifact
       uses: actions/upload-pages-artifact@v2
       with:
-        # upload only /web directory
-        path: './web'
+        # upload only /web/_site directory. 
+        path: './web/_site'
     - name: Deploy to GitHub Pages
       id: deployment
       uses: actions/deploy-pages@v2