Merge pull request #1303 from goblint/dependabot/github_actions/actio…

…ns/upload-pages-artifact-3 Bump actions/upload-pages-artifact from 2 to 3
goblint · Dec 20, 2023 · 90d7bf9 · 90d7bf9
2 parents 8650d72 + 87f7e02
commit 90d7bf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -55,7 +55,7 @@ jobs:
         run: opam exec -- dune build @doc
 
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           path: _build/default/_doc/_html/