From 703e147ed842d362510574efaf9bc2c54a069ce1 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 10 Feb 2025 09:42:12 +0100
Subject: [PATCH] fix ci

---
 .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 936fbf1cc..0b63f5b07 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -33,7 +33,7 @@ jobs:
           make doc-build
 
       - name: Save doc artifact
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: doc
           path: docs/build