Skip to content

Commit

Permalink
[Non-Mac] Switch to {upload,download}-artifact@v4
Browse files Browse the repository at this point in the history
Maybe this time it's more stable.  The v3 version will be removed in
November 2024 according to
https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

```
git grep --name-only -- -artifact@v3 | grep -v coq-macos | xargs sed -i 's/-artifact@v3/-artifact@v4/g'
```
  • Loading branch information
JasonGross committed May 9, 2024
1 parent 1368f5f commit b5d771d
Show file tree
Hide file tree
Showing 6 changed files with 53 additions and 53 deletions.
16 changes: 8 additions & 8 deletions .github/workflows/coq-alpine.yml
Original file line number Diff line number Diff line change
Expand Up @@ -55,23 +55,23 @@ jobs:
# shell: alpine.sh {0}
# run: make install-standalone-js-of-ocaml
- name: upload standalone files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: standalone-${{ matrix.alpine }}
path: dist/fiat_crypto
# - name: upload standalone js files
# uses: actions/upload-artifact@v3
# uses: actions/upload-artifact@v4
# with:
# name: standalone-html-${{ matrix.alpine }}
# path: fiat-html
- name: upload OCaml files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionOCaml-${{ matrix.alpine }}
path: src/ExtractionOCaml
if: always ()
# - name: upload js_of_ocaml files
# uses: actions/upload-artifact@v3
# uses: actions/upload-artifact@v4
# with:
# name: ExtractionJsOfOCaml-${{ matrix.alpine }}
# path: src/ExtractionJsOfOCaml
Expand All @@ -82,7 +82,7 @@ jobs:
- run: tar -czvf generated-files.tgz fiat-*/
if: ${{ failure() }}
- name: upload generated files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: generated-files-${{ matrix.alpine }}
path: generated-files.tgz
Expand All @@ -91,7 +91,7 @@ jobs:
shell: alpine.sh {0}
run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
- name: upload Haskell files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionHaskell-${{ matrix.alpine }}
path: src/ExtractionHaskell
Expand Down Expand Up @@ -126,7 +126,7 @@ jobs:
steps:
- uses: actions/checkout@v4
- name: Download standalone ${{ matrix.alpine }}
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-${{ matrix.alpine }}
path: dist/
Expand Down Expand Up @@ -161,7 +161,7 @@ jobs:
fetch-depth: 0 # Fetch all history for all tags and branches
tags: true # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version
- name: Download standalone edge
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-edge
path: dist/
Expand Down
16 changes: 8 additions & 8 deletions .github/workflows/coq-archlinux.yml
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ jobs:
- run: tar -czvf generated-files.tgz fiat-*/
if: ${{ failure() }}
- name: upload generated files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: generated-files-archlinux
path: generated-files.tgz
Expand All @@ -59,31 +59,31 @@ jobs:
#- name: install-standalone-js-of-ocaml
# run: etc/ci/github-actions-make.sh install-standalone-js-of-ocaml
- name: upload standalone files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: standalone-archlinux
path: dist/fiat_crypto
#- name: upload standalone js files
# uses: actions/upload-artifact@v3
# uses: actions/upload-artifact@v4
# with:
# name: standalone-html-archlinux
# path: fiat-html
- name: upload OCaml files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionOCaml-archlinux
path: src/ExtractionOCaml
if: always ()
#- name: upload js_of_ocaml files
# uses: actions/upload-artifact@v3
# uses: actions/upload-artifact@v4
# with:
# name: ExtractionJsOfOCaml-archlinux
# path: src/ExtractionJsOfOCaml
# if: always ()
- name: standalone-haskell
run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
- name: upload Haskell files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionHaskell-archlinux
path: src/ExtractionHaskell
Expand Down Expand Up @@ -111,7 +111,7 @@ jobs:
pacman --noconfirm -Syu git --needed
- uses: actions/checkout@v4
- name: Download standalone archlinux
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-archlinux
path: dist/
Expand Down Expand Up @@ -139,7 +139,7 @@ jobs:
fetch-depth: 0 # Fetch all history for all tags and branches
tags: true # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version
- name: Download standalone archlinux
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-archlinux
path: dist/
Expand Down
16 changes: 8 additions & 8 deletions .github/workflows/coq-debian.yml
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ jobs:
- run: tar -czvf generated-files.tgz fiat-*/
if: ${{ failure() }}
- name: upload generated files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: generated-files-${{ matrix.debian }}
path: generated-files.tgz
Expand All @@ -60,31 +60,31 @@ jobs:
- name: install-standalone-js-of-ocaml
run: etc/ci/github-actions-make.sh install-standalone-js-of-ocaml
- name: upload standalone files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: standalone-${{ matrix.debian }}
path: dist/fiat_crypto
- name: upload standalone js files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: standalone-html-${{ matrix.debian }}
path: fiat-html
- name: upload OCaml files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionOCaml-${{ matrix.debian }}
path: src/ExtractionOCaml
if: always ()
- name: upload js_of_ocaml files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionJsOfOCaml-${{ matrix.debian }}
path: src/ExtractionJsOfOCaml
if: always ()
- name: standalone-haskell
run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
- name: upload Haskell files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionHaskell-${{ matrix.debian }}
path: src/ExtractionHaskell
Expand Down Expand Up @@ -114,7 +114,7 @@ jobs:
steps:
- uses: actions/checkout@v4
- name: Download standalone ${{ matrix.debian }}
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-${{ matrix.debian }}
path: dist/
Expand Down Expand Up @@ -159,7 +159,7 @@ jobs:
fetch-depth: 0 # Fetch all history for all tags and branches
tags: true # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version
- name: Download standalone sid
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-sid
path: dist/
Expand Down
42 changes: 21 additions & 21 deletions .github/workflows/coq-docker.yml
Original file line number Diff line number Diff line change
Expand Up @@ -65,33 +65,33 @@ jobs:
export: CI ALLOW_DIFF COQCHKEXTRAFLAGS GITHUB_STEP_SUMMARY
custom_script: etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} -j2 pre-standalone-extracted
- name: upload OCaml files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionOCaml-${{ matrix.env.COQ_VERSION }}
path: src/ExtractionOCaml
if: always ()
- name: upload js_of_ocaml source files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionJsOfOCaml-source-${{ matrix.env.COQ_VERSION }}
path: src/ExtractionJsOfOCaml
if: always ()
- name: upload Haskell source files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionHaskell-source-${{ matrix.env.COQ_VERSION }}
path: src/ExtractionHaskell
if: always ()
- name: install-standalone-unified-ocaml
run: make -f Makefile.standalone install-standalone-unified-ocaml BINDIR=dist
- name: upload standalone files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: standalone-docker-coq-${{ matrix.env.DOCKER_COQ_VERSION }}
path: dist/fiat_crypto
- run: git config --file .gitmodules --get-regexp path | awk '{ print $2 }' | xargs tar -czvf fiat-crypto-build.tar.gz src
- name: Upload built files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: build-outputs-docker-coq-${{ matrix.env.DOCKER_COQ_VERSION }}-ocaml-${{ matrix.env.DOCKER_OCAML_VERSION }}
path: fiat-crypto-build.tar.gz
Expand Down Expand Up @@ -150,7 +150,7 @@ jobs:
with:
submodules: recursive
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: build-outputs-docker-coq-${{ matrix.env.DOCKER_COQ_VERSION }}-ocaml-${{ matrix.env.DOCKER_OCAML_VERSION }}
path: .
Expand Down Expand Up @@ -192,7 +192,7 @@ jobs:
- name: echo build params
run: etc/ci/describe-system-config.sh
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ExtractionJsOfOCaml-source-${{ matrix.coq-version }}
path: src/ExtractionJsOfOCaml
Expand All @@ -203,13 +203,13 @@ jobs:
- name: install-standalone-js-of-ocaml
run: make -f Makefile.standalone install-standalone-js-of-ocaml
- name: upload js_of_ocaml build files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionJsOfOCaml-${{ matrix.coq-version }}-ocaml-${{ matrix.ocaml-compiler }}
path: src/ExtractionJsOfOCaml
if: always ()
- name: Upload js_of_ocaml outputs
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: fiat-html-js-of-ocaml
path: fiat-html
Expand Down Expand Up @@ -253,7 +253,7 @@ jobs:
- name: echo build params
run: etc/ci/describe-system-config.sh
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ExtractionJsOfOCaml-source-${{ matrix.coq-version }}
path: src/ExtractionJsOfOCaml
Expand All @@ -264,13 +264,13 @@ jobs:
- name: install-standalone-wasm-of-ocaml
run: make -f Makefile.standalone install-standalone-wasm-of-ocaml
- name: upload wasm_of_ocaml build files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionJsOfOCaml-${{ matrix.coq-version }}-ocaml-${{ matrix.ocaml-compiler }}+wasm
path: src/ExtractionJsOfOCaml
if: always ()
- name: Upload wasm_of_ocaml outputs
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: fiat-html-wasm-of-ocaml
path: fiat-html
Expand All @@ -288,14 +288,14 @@ jobs:
fetch-depth: 0 # Fetch all history for all tags and branches, for fiat-html/version.js
tags: true # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: fiat-html-js-of-ocaml
path: fiat-html
- run: find fiat-html
- run: ls -la fiat-html
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: fiat-html-wasm-of-ocaml
path: fiat-html
Expand Down Expand Up @@ -334,7 +334,7 @@ jobs:
with:
submodules: recursive
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ExtractionOCaml-${{ matrix.coq-version }}
path: src/ExtractionOCaml
Expand All @@ -346,7 +346,7 @@ jobs:
- run: tar -czvf generated-files.tgz fiat-*/
if: ${{ failure() }}
- name: upload generated files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: generated-files-${{ matrix.coq-version }}
path: generated-files.tgz
Expand All @@ -367,14 +367,14 @@ jobs:
with:
submodules: recursive
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ExtractionHaskell-source-${{ matrix.coq-version }}
path: src/ExtractionHaskell
- name: standalone-haskell
run: etc/ci/github-actions-make.sh -f Makefile.standalone -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'
- name: upload Haskell files
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: ExtractionHaskell-${{ matrix.coq-version }}
path: src/ExtractionHaskell
Expand All @@ -396,7 +396,7 @@ jobs:
with:
submodules: recursive
- name: Download a Build Artifact
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: ExtractionOCaml-master
path: src/ExtractionOCaml
Expand All @@ -421,7 +421,7 @@ jobs:
steps:
- uses: actions/checkout@v4
- name: Download standalone Docker
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-docker-coq-${{ matrix.docker-coq-version }}
path: dist/
Expand Down Expand Up @@ -466,7 +466,7 @@ jobs:
fetch-depth: 0 # Fetch all history for all tags and branches
tags: true # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version
- name: Download standalone Docker
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-docker-coq-dev
path: dist/
Expand Down
Loading

0 comments on commit b5d771d

Please sign in to comment.