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

Bump actions/download-artifact from 3 to 4 #1785

Closed
wants to merge 1 commit into from
Closed

Bump actions/download-artifact from 3 to 4 #1785

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
4 changes: 2 additions & 2 deletions .github/workflows/coq-alpine.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -132,7 +132,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 @@ -167,7 +167,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
4 changes: 2 additions & 2 deletions .github/workflows/coq-debian.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -126,7 +126,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 @@ -166,7 +166,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
20 changes: 10 additions & 10 deletions .github/workflows/coq-docker.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
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 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 Down Expand Up @@ -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 Down Expand Up @@ -367,7 +367,7 @@ 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
Expand Down Expand Up @@ -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
4 changes: 2 additions & 2 deletions .github/workflows/coq-macos.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ jobs:
steps:
- uses: actions/checkout@v4
- name: Download standalone MacOS
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-macos
path: dist/
Expand Down Expand Up @@ -174,7 +174,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 MacOS
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-macos
path: dist/
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/coq-windows.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -159,7 +159,7 @@ jobs:
steps:
- uses: actions/checkout@v4
- name: Download standalone Windows
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-windows
path: dist/
Expand Down Expand Up @@ -194,7 +194,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 Windows
uses: actions/download-artifact@v3
uses: actions/download-artifact@v4
with:
name: standalone-windows
path: dist/
Expand Down
Loading