diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 5400dee65..dddafff41 100644
--- 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
index 6c9b42d3b..e33b5bceb 100644
--- 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 }}