From e9daa364069d268f53a5d41762a3fcc48e1437a6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 10 Sep 2024 11:33:41 +0200
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 abacd0b9c..fdc51f7f8 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -43,7 +43,7 @@ jobs:
       run: opam exec -- make doc COQ_ELPI_ALREADY_INSTALLED=1
 
     - name: Save artifact
-      uses: actions/upload-artifact@v2
+      uses: actions/upload-artifact@v3
       with:
         path: doc