From 54be49d491d276a769cf306032e7ca21cd20e9ef Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Tue, 7 Jan 2025 11:20:03 -0600
Subject: [PATCH] CI: Use upload-artifact@v4

Support for @v3 will be dropped soon:
https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ea17fe2..988fcb1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -41,7 +41,7 @@ jobs:
         tar -cvf doc.tar.gz docs/book/*
 
     - name: Upload docs artifact
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       if: github.repository == 'GaloisInc/${{ env.NAME }}'
       with:
         name: "${{ env.NAME }}-docs"