From ab2d8bed325ea012a8cd13ba7078799e2c76af84 Mon Sep 17 00:00:00 2001
From: Nicolas Rybowski <nicolas.rybowski@uclouvain.be>
Date: Mon, 25 Nov 2024 21:39:54 +0100
Subject: [PATCH] Update doc.yml

---
 .github/workflows/doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index d009ec6..e2ea284 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -24,7 +24,7 @@ jobs:
         id: deploy
         uses: actions/upload-pages-artifact@v3
         with:
-          path: target/doc
+          path: target/doc/dune_core
   deploy:
     environment:
         name: github-pages