Bump actions/upload-artifact from 2.3.1 to 3 (#1149)

mit-plv · Mar 4, 2022 · bf30d11 · bf30d11
1 parent e7616fd
commit bf30d11
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -87,7 +87,7 @@ jobs:
         eval $(opam env)
         etc/ci/github-actions-make.sh -j2 only-test-amd64-files
     - name: upload OCaml files
-      uses: actions/upload-artifact@v2.3.1
+      uses: actions/upload-artifact@v3
       with:
         name: ExtractionOCaml
         path: src/ExtractionOCaml
@@ -96,7 +96,7 @@ jobs:
     - name: display per-line timing info
       run: etc/ci/github-actions-display-per-line-timing.sh
 #    - name: upload timing and .vo info
-#      uses: actions/upload-artifact@v2.3.1
+#      uses: actions/upload-artifact@v3
 #      with:
 #        name: build-outputs
 #        path: .

diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -90,7 +90,7 @@ jobs:
         %CYGWIN_ROOT%\bin\bash.exe -l -c 'cd "%cd%"; opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} only-test-amd64-files'
       shell: cmd
     - name: upload OCaml files
-      uses: actions/upload-artifact@v2.3.1
+      uses: actions/upload-artifact@v3
       with:
         name: ExtractionOCaml
         path: src/ExtractionOCaml
@@ -102,7 +102,7 @@ jobs:
         %CYGWIN_ROOT%\bin\bash.exe -l -c 'cd "%cd%"; etc/ci/github-actions-display-per-line-timing.sh'
       shell: cmd
 #    - name: upload timing and .vo info
-#      uses: actions/upload-artifact@v2.3.1
+#      uses: actions/upload-artifact@v3
 #      with:
 #        name: build-outputs
 #        path: .

diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -71,23 +71,23 @@ jobs:
     - name: all
       run: etc/ci/github-actions-make.sh ${EXTRA_GH_REPORTIFY} -j2 all
     - name: upload generated files
-      uses: actions/upload-artifact@v2.3.1
+      uses: actions/upload-artifact@v3
       with:
         name: generated-files-${{ matrix.env.COQ_VERSION }}
         path: fiat-*/
       if: ${{ failure() }}
     - name: only-test-amd64-files
       run: etc/ci/github-actions-make.sh -j2 only-test-amd64-files
     - name: upload OCaml files
-      uses: actions/upload-artifact@v2.3.1
+      uses: actions/upload-artifact@v3
       with:
         name: ExtractionOCaml-${{ matrix.env.COQ_VERSION }}
         path: src/ExtractionOCaml
       if: always ()
     - name: standalone-haskell
       run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M6G -RTS'
     - name: upload Haskell files
-      uses: actions/upload-artifact@v2.3.1
+      uses: actions/upload-artifact@v3
       with:
         name: ExtractionHaskell-${{ matrix.env.COQ_VERSION }}
         path: src/ExtractionHaskell
@@ -97,7 +97,7 @@ jobs:
     - name: display per-line timing info
       run: etc/ci/github-actions-display-per-line-timing.sh
 #    - name: upload timing and .vo info
-#      uses: actions/upload-artifact@v2.3.1
+#      uses: actions/upload-artifact@v3
 #      with:
 #        name: build-outputs-${{ matrix.env.COQ_VERSION }}
 #        path: .

diff --git a/.github/workflows/java.yml b/.github/workflows/java.yml
@@ -24,7 +24,7 @@ jobs:
       run: make only-test-java-files EXTERNAL_DEPENDENCIES=1
     - name: make documentation
       run: make only-javadoc EXTERNAL_DEPENDENCIES=1
-    - uses: actions/upload-artifact@v2.3.1
+    - uses: actions/upload-artifact@v3
       with:
         name: fiat-javadoc
         path: fiat-java/doc