Update actions/upload-artifact to v4

v3 is deprecated: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/.
goblint · Dec 27, 2024 · bdf35fa · bdf35fa
1 parent ffe8c25
commit bdf35fa
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -28,7 +28,7 @@ jobs:
           opam exec -- dune subst
           opam exec -- dune build @heveadoc
 
-      - uses: actions/upload-artifact@v3
+      - uses: actions/upload-artifact@v4
         with:
           name: doc-html
           path: _build/default/doc/html/cil
@@ -41,7 +41,7 @@ jobs:
       - name: Checkout 🛎️
         uses: actions/checkout@v3 # check out git repo to make deploy action happy
 
-      - uses: actions/download-artifact@v3
+      - uses: actions/download-artifact@v4
         with:
           name: doc-html
           path: _build/default/doc/html/cil

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -53,7 +53,7 @@ jobs:
       - run: opam exec -- dune runtest
 
       - name: Upload test log
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         if: failure()
         with:
           name: ${{ matrix.os }}-${{ matrix.ocaml-version }}