From 6ef6cffa1dc1a9e1136f7c53992066d0feca9cb7 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Sun, 14 Jul 2024 23:49:17 +0200
Subject: [PATCH] fix: Use actions/upload-artifact@v4 (#96)

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

diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
index 8537005..307b5e3 100644
--- a/.github/workflows/coq-demo.yml
+++ b/.github/workflows/coq-demo.yml
@@ -368,7 +368,7 @@ jobs:
         # to avoid a warning at cleanup time
         if: ${{ always() }}
         run: sudo chown -R 1001:116 .
-      - uses: actions/upload-artifact@v2
+      - uses: actions/upload-artifact@v4
         with:
           name: example-artifact
           path: artifacts/