Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Non-Mac] Switch to {upload,download}-artifact@v4 #1898

Merged
merged 1 commit into from
May 10, 2024
Merged

[Non-Mac] Switch to {upload,download}-artifact@v4 #1898

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions .github/workflows/coq-alpine.yml
View file
Open in desktop
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
View file
Open in desktop
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
View file
Open in desktop
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
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -68,33 +68,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 @@ -195,7 +195,7 @@ jobs:
- name: Load Docker image
run: docker load -i image.tar
- 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 @@ -237,7 +237,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 @@ -248,13 +248,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 @@ -298,7 +298,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 @@ -309,13 +309,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 @@ -333,14 +333,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 @@ -379,7 +379,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 @@ -391,7 +391,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 @@ -412,14 +412,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 @@ -441,7 +441,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 @@ -466,7 +466,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 @@ -511,7 +511,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
Loading