From b8893e09660290b85869551858b1feed166dee5f Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 6 Aug 2026 10:25:19 +0000 Subject: [PATCH] chore(deps): bump the actions group across 1 directory with 4 updates Bumps the actions group with 4 updates in the / directory: [actions/checkout](https://github.com/actions/checkout), [actions/upload-artifact](https://github.com/actions/upload-artifact), [actions/download-artifact](https://github.com/actions/download-artifact) and [bencherdev/bencher](https://github.com/bencherdev/bencher). Updates `actions/checkout` from 6 to 7 - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v6...v7) Updates `actions/upload-artifact` from 4 to 7 - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v4...v7) Updates `actions/download-artifact` from 4 to 8 - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](https://github.com/actions/download-artifact/compare/v4...v8) Updates `bencherdev/bencher` from 0.6.8 to 0.6.11 - [Release notes](https://github.com/bencherdev/bencher/releases) - [Commits](https://github.com/bencherdev/bencher/compare/v0.6.8...v0.6.11) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions - dependency-name: actions/download-artifact dependency-version: '8' dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions - dependency-name: actions/upload-artifact dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions - dependency-name: bencherdev/bencher dependency-version: 0.6.11 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions ... Signed-off-by: dependabot[bot] --- .github/workflows/bench-pr.yml | 8 ++++---- .github/workflows/bencher-plots.yml | 2 +- .github/workflows/ci.yml | 6 +++--- .github/workflows/codeql.yml | 6 +++--- 4 files changed, 11 insertions(+), 11 deletions(-) diff --git a/.github/workflows/bench-pr.yml b/.github/workflows/bench-pr.yml index dda87c1c2..ba2da11ac 100644 --- a/.github/workflows/bench-pr.yml +++ b/.github/workflows/bench-pr.yml @@ -718,7 +718,7 @@ jobs: - name: Upload table if: always() - uses: actions/upload-artifact@v4 + uses: actions/upload-artifact@v7 with: name: table-${{ env.LABEL }} path: out/table-${{ env.LABEL }}.md @@ -764,7 +764,7 @@ jobs: build: false use-github-cache: false - name: Download tables - uses: actions/download-artifact@v4 + uses: actions/download-artifact@v8 with: path: tables pattern: table-* @@ -780,7 +780,7 @@ jobs: --head "$HEAD_SHA" \ --repo-url "${{ github.server_url }}/${{ github.repository }}" \ --run-id "${{ github.run_id }}" --out comment-body.md - - uses: actions/upload-artifact@v4 + - uses: actions/upload-artifact@v7 with: name: comment-body path: comment-body.md @@ -798,7 +798,7 @@ jobs: - name: Download comment body if: needs.assemble.result == 'success' continue-on-error: true - uses: actions/download-artifact@v4 + uses: actions/download-artifact@v8 with: name: comment-body # A failed stage prepends a warning header to the report (quoting diff --git a/.github/workflows/bencher-plots.yml b/.github/workflows/bencher-plots.yml index 5f8d9535f..5493b2093 100644 --- a/.github/workflows/bencher-plots.yml +++ b/.github/workflows/bencher-plots.yml @@ -46,7 +46,7 @@ jobs: auto-config: false build: false use-github-cache: false - - uses: bencherdev/bencher@v0.6.8 + - uses: bencherdev/bencher@v0.6.11 # Plot create/delete needs those permissions on the ix project: a # user-scoped `bencher_user_*` key (the report-upload token the bench # workflows use may be run-scoped and unable to manage plots). diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 420b569e2..7111643a1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -48,7 +48,7 @@ jobs: - name: Compile nataddcomm.ixe run: lake exe ix compile Ix.lean --consts Nat.add_comm --out nataddcomm.ixe - name: Upload nataddcomm.ixe - uses: actions/upload-artifact@v4 + uses: actions/upload-artifact@v7 with: name: nataddcomm-ixe path: nataddcomm.ixe @@ -159,7 +159,7 @@ jobs: # ELF embed accordingly, so this lints host code only. cargo clippy --release --workspace --all-targets -- -D warnings - name: Download nataddcomm.ixe - uses: actions/download-artifact@v4 + uses: actions/download-artifact@v8 with: name: nataddcomm-ixe path: . @@ -199,7 +199,7 @@ jobs: # ELFs its build scripts already produced). cargo clippy --release --workspace --all-targets -- -D warnings - name: Download nataddcomm.ixe - uses: actions/download-artifact@v4 + uses: actions/download-artifact@v8 with: name: nataddcomm-ixe path: . diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index d687151ae..ab4d1c4c2 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -34,7 +34,7 @@ jobs: steps: # paths-filter diffs the PR via the API on pull_request events, but # needs a checkout to resolve the pushed commit range on push events. - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 with: persist-credentials: false - uses: dorny/paths-filter@v4 @@ -60,7 +60,7 @@ jobs: security-events: write packages: read steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 with: persist-credentials: false - uses: github/codeql-action/init@v4 @@ -81,7 +81,7 @@ jobs: security-events: write packages: read steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 with: persist-credentials: false - uses: github/codeql-action/init@v4