CI: upload artifact v4

coq-community · May 20, 2024 · b1fa280 · b1fa280
1 parent 95ee7a0
commit b1fa280
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -64,10 +64,11 @@ jobs:
         # to avoid a warning at cleanup time
         if: ${{ always() }}
         run: sudo chown -R 1001:116 .
-      - uses: actions/upload-artifact@v3
+      - uses: actions/upload-artifact@v4
         with:
           name: coqdoc
           path: html
+          overwrite: true
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme

diff --git a/meta.yml b/meta.yml
@@ -66,10 +66,11 @@ action_appendix: |2-
           # to avoid a warning at cleanup time
           if: ${{ always() }}
           run: sudo chown -R 1001:116 .
-        - uses: actions/upload-artifact@v3
+        - uses: actions/upload-artifact@v4
           with:
             name: coqdoc
             path: html
+            overwrite: true
 documentation: |
   Ideas
   -----