[CI] Update Nix toolbox

Following coq-community/coq-nix-toolbox#283
proux01 · Nov 7, 2024 · be2dde6 · be2dde6
1 parent f641ab4
commit be2dde6
Show file tree

Hide file tree

Showing 5 changed files with 1,180 additions and 1,180 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -43,7 +43,7 @@ jobs:
       run: opam exec -- make doc COQ_ELPI_ALREADY_INSTALLED=1
 
     - name: Save artifact
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         path: doc