Skip to content

Commit 8e6c05d

Browse files
dependabot[bot]dependabot[bot]
authored
Bump actions/upload-artifact from 4 to 5 (#2186)
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4 to 5. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](actions/upload-artifact@v4...v5) --- updated-dependencies: - dependency-name: actions/upload-artifact dependency-version: '5' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 parent 6d9dd18 commit 8e6c05d

File tree

7 files changed

+47
-47
lines changed

7 files changed

+47
-47
lines changed

‎.github/workflows/coq-alpine.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -55,23 +55,23 @@ jobs:
5555
# shell: alpine.sh {0}
5656
# run: make install-standalone-js-of-ocaml
5757
- name: upload standalone files
58-
uses: actions/upload-artifact@v4
58+
uses: actions/upload-artifact@v5
5959
with:
6060
name: standalone-${{ matrix.alpine }}
6161
path: dist/fiat_crypto
6262
# - name: upload standalone js files
63-
# uses: actions/upload-artifact@v4
63+
# uses: actions/upload-artifact@v5
6464
# with:
6565
# name: standalone-html-${{ matrix.alpine }}
6666
# path: fiat-html
6767
- name: upload OCaml files
68-
uses: actions/upload-artifact@v4
68+
uses: actions/upload-artifact@v5
6969
with:
7070
name: ExtractionOCaml-${{ matrix.alpine }}
7171
path: src/ExtractionOCaml
7272
if: always ()
7373
# - name: upload js_of_ocaml files
74-
# uses: actions/upload-artifact@v4
74+
# uses: actions/upload-artifact@v5
7575
# with:
7676
# name: ExtractionJsOfOCaml-${{ matrix.alpine }}
7777
# path: src/ExtractionJsOfOCaml
@@ -82,15 +82,15 @@ jobs:
8282
- run: tar -czvf generated-files.tgz fiat-*/
8383
if: failure()
8484
- name: upload generated files
85-
uses: actions/upload-artifact@v4
85+
uses: actions/upload-artifact@v5
8686
with:
8787
name: generated-files-${{ matrix.alpine }}
8888
path: generated-files.tgz
8989
if: failure()
9090
- run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
9191
if: failure()
9292
- name: upload generated timing files
93-
uses: actions/upload-artifact@v4
93+
uses: actions/upload-artifact@v5
9494
with:
9595
name: timing-files-${{ matrix.alpine }}
9696
path: timing-files.tgz
@@ -99,7 +99,7 @@ jobs:
9999
shell: alpine.sh {0}
100100
run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
101101
- name: upload Haskell files
102-
uses: actions/upload-artifact@v4
102+
uses: actions/upload-artifact@v5
103103
with:
104104
name: ExtractionHaskell-${{ matrix.alpine }}
105105
path: src/ExtractionHaskell

‎.github/workflows/coq-archlinux.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -47,15 +47,15 @@ jobs:
4747
- run: tar -czvf generated-files.tgz fiat-*/
4848
if: failure()
4949
- name: upload generated files
50-
uses: actions/upload-artifact@v4
50+
uses: actions/upload-artifact@v5
5151
with:
5252
name: generated-files-archlinux
5353
path: generated-files.tgz
5454
if: failure()
5555
- run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
5656
if: failure()
5757
- name: upload generated timing files
58-
uses: actions/upload-artifact@v4
58+
uses: actions/upload-artifact@v5
5959
with:
6060
name: timing-files-archlinux
6161
path: timing-files.tgz
@@ -67,31 +67,31 @@ jobs:
6767
#- name: install-standalone-js-of-ocaml
6868
# run: etc/ci/github-actions-make.sh install-standalone-js-of-ocaml
6969
- name: upload standalone files
70-
uses: actions/upload-artifact@v4
70+
uses: actions/upload-artifact@v5
7171
with:
7272
name: standalone-archlinux
7373
path: dist/fiat_crypto
7474
#- name: upload standalone js files
75-
# uses: actions/upload-artifact@v4
75+
# uses: actions/upload-artifact@v5
7676
# with:
7777
# name: standalone-html-archlinux
7878
# path: fiat-html
7979
- name: upload OCaml files
80-
uses: actions/upload-artifact@v4
80+
uses: actions/upload-artifact@v5
8181
with:
8282
name: ExtractionOCaml-archlinux
8383
path: src/ExtractionOCaml
8484
if: always ()
8585
#- name: upload js_of_ocaml files
86-
# uses: actions/upload-artifact@v4
86+
# uses: actions/upload-artifact@v5
8787
# with:
8888
# name: ExtractionJsOfOCaml-archlinux
8989
# path: src/ExtractionJsOfOCaml
9090
# if: always ()
9191
- name: standalone-haskell
9292
run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
9393
- name: upload Haskell files
94-
uses: actions/upload-artifact@v4
94+
uses: actions/upload-artifact@v5
9595
with:
9696
name: ExtractionHaskell-archlinux
9797
path: src/ExtractionHaskell

‎.github/workflows/coq-debian.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -52,15 +52,15 @@ jobs:
5252
- run: tar -czvf generated-files.tgz fiat-*/
5353
if: failure()
5454
- name: upload generated files
55-
uses: actions/upload-artifact@v4
55+
uses: actions/upload-artifact@v5
5656
with:
5757
name: generated-files-${{ matrix.debian }}
5858
path: generated-files.tgz
5959
if: failure()
6060
- run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
6161
if: failure()
6262
- name: upload generated timing files
63-
uses: actions/upload-artifact@v4
63+
uses: actions/upload-artifact@v5
6464
with:
6565
name: timing-files-${{ matrix.debian }}
6666
path: timing-files.tgz
@@ -72,31 +72,31 @@ jobs:
7272
- name: install-standalone-js-of-ocaml
7373
run: etc/ci/github-actions-make.sh install-standalone-js-of-ocaml
7474
- name: upload standalone files
75-
uses: actions/upload-artifact@v4
75+
uses: actions/upload-artifact@v5
7676
with:
7777
name: standalone-${{ matrix.debian }}
7878
path: dist/fiat_crypto
7979
- name: upload standalone js files
80-
uses: actions/upload-artifact@v4
80+
uses: actions/upload-artifact@v5
8181
with:
8282
name: standalone-html-${{ matrix.debian }}
8383
path: fiat-html
8484
- name: upload OCaml files
85-
uses: actions/upload-artifact@v4
85+
uses: actions/upload-artifact@v5
8686
with:
8787
name: ExtractionOCaml-${{ matrix.debian }}
8888
path: src/ExtractionOCaml
8989
if: always ()
9090
- name: upload js_of_ocaml files
91-
uses: actions/upload-artifact@v4
91+
uses: actions/upload-artifact@v5
9292
with:
9393
name: ExtractionJsOfOCaml-${{ matrix.debian }}
9494
path: src/ExtractionJsOfOCaml
9595
if: always ()
9696
- name: standalone-haskell
9797
run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
9898
- name: upload Haskell files
99-
uses: actions/upload-artifact@v4
99+
uses: actions/upload-artifact@v5
100100
with:
101101
name: ExtractionHaskell-${{ matrix.debian }}
102102
path: src/ExtractionHaskell

‎.github/workflows/coq-docker.yml‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -68,40 +68,40 @@ jobs:
6868
export: CI ALLOW_DIFF COQCHKEXTRAFLAGS GITHUB_STEP_SUMMARY
6969
custom_script: etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} -j2 pre-standalone-extracted
7070
- name: upload OCaml files
71-
uses: actions/upload-artifact@v4
71+
uses: actions/upload-artifact@v5
7272
with:
7373
name: ExtractionOCaml-${{ matrix.env.COQ_VERSION }}
7474
path: src/ExtractionOCaml
7575
if: always ()
7676
- name: upload js_of_ocaml source files
77-
uses: actions/upload-artifact@v4
77+
uses: actions/upload-artifact@v5
7878
with:
7979
name: ExtractionJsOfOCaml-source-${{ matrix.env.COQ_VERSION }}
8080
path: src/ExtractionJsOfOCaml
8181
if: always ()
8282
- name: upload Haskell source files
83-
uses: actions/upload-artifact@v4
83+
uses: actions/upload-artifact@v5
8484
with:
8585
name: ExtractionHaskell-source-${{ matrix.env.COQ_VERSION }}
8686
path: src/ExtractionHaskell
8787
if: always ()
8888
- name: install-standalone-unified-ocaml
8989
run: make -f Makefile.standalone install-standalone-unified-ocaml BINDIR=dist
9090
- name: upload standalone files
91-
uses: actions/upload-artifact@v4
91+
uses: actions/upload-artifact@v5
9292
with:
9393
name: standalone-docker-coq-${{ matrix.env.DOCKER_COQ_VERSION }}
9494
path: dist/fiat_crypto
9595
- run: git config --file .gitmodules --get-regexp path | awk '{ print $2 }' | xargs tar -czvf fiat-crypto-build.tar.gz src
9696
- name: Upload built files
97-
uses: actions/upload-artifact@v4
97+
uses: actions/upload-artifact@v5
9898
with:
9999
name: build-outputs-docker-coq-${{ matrix.env.DOCKER_COQ_VERSION }}-ocaml-${{ matrix.env.DOCKER_OCAML_VERSION }}
100100
path: fiat-crypto-build.tar.gz
101101
- run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
102102
if: failure()
103103
- name: upload generated timing files
104-
uses: actions/upload-artifact@v4
104+
uses: actions/upload-artifact@v5
105105
with:
106106
name: timing-files-${{ matrix.env.COQ_VERSION }}
107107
path: timing-files.tgz
@@ -238,13 +238,13 @@ jobs:
238238
- name: install-standalone-js-of-ocaml
239239
run: make -f Makefile.standalone install-standalone-js-of-ocaml
240240
- name: upload js_of_ocaml build files
241-
uses: actions/upload-artifact@v4
241+
uses: actions/upload-artifact@v5
242242
with:
243243
name: ExtractionJsOfOCaml-${{ matrix.coq-version }}-ocaml-${{ matrix.ocaml-compiler }}
244244
path: src/ExtractionJsOfOCaml
245245
if: always ()
246246
- name: Upload js_of_ocaml outputs
247-
uses: actions/upload-artifact@v4
247+
uses: actions/upload-artifact@v5
248248
with:
249249
name: fiat-html-js-of-ocaml
250250
path: fiat-html
@@ -287,13 +287,13 @@ jobs:
287287
- name: install-standalone-wasm-of-ocaml
288288
run: make -f Makefile.standalone install-standalone-wasm-of-ocaml
289289
- name: upload wasm_of_ocaml build files
290-
uses: actions/upload-artifact@v4
290+
uses: actions/upload-artifact@v5
291291
with:
292292
name: ExtractionJsOfOCaml-${{ matrix.coq-version }}-ocaml-${{ matrix.ocaml-compiler }}+wasm
293293
path: src/ExtractionJsOfOCaml
294294
if: always ()
295295
- name: Upload wasm_of_ocaml outputs
296-
uses: actions/upload-artifact@v4
296+
uses: actions/upload-artifact@v5
297297
with:
298298
name: fiat-html-wasm-of-ocaml
299299
path: fiat-html
@@ -379,7 +379,7 @@ jobs:
379379
- run: tar -czvf generated-files.tgz fiat-*/
380380
if: failure()
381381
- name: upload generated files
382-
uses: actions/upload-artifact@v4
382+
uses: actions/upload-artifact@v5
383383
with:
384384
name: generated-files-${{ matrix.coq-version }}
385385
path: generated-files.tgz
@@ -473,7 +473,7 @@ jobs:
473473
- name: standalone-haskell
474474
run: etc/ci/github-actions-make.sh -f Makefile.standalone -j1 standalone-haskell GHCFLAGS='+RTS -M9G -RTS'
475475
- name: upload Haskell files
476-
uses: actions/upload-artifact@v4
476+
uses: actions/upload-artifact@v5
477477
with:
478478
name: ExtractionHaskell-${{ matrix.coq-version }}
479479
path: src/ExtractionHaskell

‎.github/workflows/coq-macos.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,7 @@ jobs:
7474
- run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
7575
if: failure()
7676
- name: upload generated timing files
77-
uses: actions/upload-artifact@v4
77+
uses: actions/upload-artifact@v5
7878
with:
7979
name: timing-files-${{ matrix.os.runs-on }}
8080
path: timing-files.tgz
@@ -87,22 +87,22 @@ jobs:
8787
run: opam exec -- etc/ci/github-actions-make.sh -j2 only-test-amd64-files-lite SLOWEST_FIRST=1
8888

8989
- name: upload OCaml files
90-
uses: actions/upload-artifact@v4
90+
uses: actions/upload-artifact@v5
9191
with:
9292
name: ExtractionOCaml-${{ matrix.os.arch }}
9393
path: src/ExtractionOCaml
9494
- name: upload js_of_ocaml files
95-
uses: actions/upload-artifact@v4
95+
uses: actions/upload-artifact@v5
9696
with:
9797
name: ExtractionJsOfOCaml-${{ matrix.os.arch }}
9898
path: src/ExtractionJsOfOCaml
9999
- name: upload standalone files
100-
uses: actions/upload-artifact@v4
100+
uses: actions/upload-artifact@v5
101101
with:
102102
name: standalone-macos-${{ matrix.os.arch }}
103103
path: dist/fiat_crypto
104104
- name: upload standalone js files
105-
uses: actions/upload-artifact@v4
105+
uses: actions/upload-artifact@v5
106106
with:
107107
name: standalone-html-macos-${{ matrix.os.arch }}
108108
path: fiat-html
@@ -117,7 +117,7 @@ jobs:
117117
- name: display per-line timing info
118118
run: etc/ci/github-actions-display-per-line-timing.sh
119119
# - name: upload timing and .vo info
120-
# uses: actions/upload-artifact@v4
120+
# uses: actions/upload-artifact@v5
121121
# with:
122122
# name: build-outputs-${{ matrix.os.arch }}
123123
# path: .
@@ -148,7 +148,7 @@ jobs:
148148
mkdir -p dist
149149
lipo -create -output dist/fiat_crypto dist-x86_64/fiat_crypto dist-arm64/fiat_crypto
150150
- name: upload universal binary
151-
uses: actions/upload-artifact@v4
151+
uses: actions/upload-artifact@v5
152152
with:
153153
name: standalone-macos
154154
path: dist/fiat_crypto

‎.github/workflows/coq-windows.yml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -79,28 +79,28 @@ jobs:
7979
shell: pwsh
8080
if: failure()
8181
- name: upload generated timing files
82-
uses: actions/upload-artifact@v4
82+
uses: actions/upload-artifact@v5
8383
with:
8484
name: timing-files-windows
8585
path: timing-files.zip
8686
if: failure()
8787
- name: upload OCaml files
88-
uses: actions/upload-artifact@v4
88+
uses: actions/upload-artifact@v5
8989
with:
9090
name: ExtractionOCaml
9191
path: src/ExtractionOCaml
9292
- name: upload js_of_ocaml files
93-
uses: actions/upload-artifact@v4
93+
uses: actions/upload-artifact@v5
9494
with:
9595
name: ExtractionJsOfOCaml
9696
path: src/ExtractionJsOfOCaml
9797
- name: upload standalone files
98-
uses: actions/upload-artifact@v4
98+
uses: actions/upload-artifact@v5
9999
with:
100100
name: standalone-windows
101101
path: dist/fiat_crypto.exe
102102
- name: upload standalone js files
103-
uses: actions/upload-artifact@v4
103+
uses: actions/upload-artifact@v5
104104
with:
105105
name: standalone-html-windows
106106
path: fiat-html
@@ -117,7 +117,7 @@ jobs:
117117
run: etc/ci/github-actions-display-per-line-timing.sh
118118
shell: bash
119119
# - name: upload timing and .vo info
120-
# uses: actions/upload-artifact@v4
120+
# uses: actions/upload-artifact@v5
121121
# with:
122122
# name: build-outputs
123123
# path: .

‎.github/workflows/java.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ jobs:
2929
run: make only-test-java-files EXTERNAL_DEPENDENCIES=1
3030
- name: make documentation
3131
run: make only-javadoc EXTERNAL_DEPENDENCIES=1
32-
- uses: actions/upload-artifact@v4
32+
- uses: actions/upload-artifact@v5
3333
with:
3434
name: fiat-javadoc
3535
path: fiat-java/doc

0 commit comments

Comments
 (0)