From fa97cc3132f96967e8e191a647e7d7dc8d888615 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 15 Dec 2023 16:43:12 +0000 Subject: [PATCH] Bump actions/download-artifact from 3 to 4 Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4. - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](https://github.com/actions/download-artifact/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/download-artifact dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/coq-alpine.yml | 4 ++-- .github/workflows/coq-debian.yml | 4 ++-- .github/workflows/coq-docker.yml | 20 ++++++++++---------- .github/workflows/coq-macos.yml | 4 ++-- .github/workflows/coq-windows.yml | 4 ++-- 5 files changed, 18 insertions(+), 18 deletions(-) diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml index fef880ee7a..6a5f228892 100644 --- a/.github/workflows/coq-alpine.yml +++ b/.github/workflows/coq-alpine.yml @@ -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/ @@ -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/ diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml index 6f419a58cc..34883bc00c 100644 --- a/.github/workflows/coq-debian.yml +++ b/.github/workflows/coq-debian.yml @@ -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/ @@ -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/ diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index d40f6bc118..d0242b8140 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -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: . @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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 @@ -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/ @@ -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/ diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml index 3a563bd3b3..a6fc737952 100644 --- a/.github/workflows/coq-macos.yml +++ b/.github/workflows/coq-macos.yml @@ -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/ @@ -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/ diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index f9972a71da..2dcfc23e56 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -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/ @@ -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/