From b5f08decb44bdf792d4748f6b83a53b362618eec Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 3 Aug 2026 15:04:32 +0000 Subject: [PATCH] chore(deps): bump the actions group across 1 directory with 5 updates Bumps the actions group with 5 updates in the / directory: | Package | From | To | | --- | --- | --- | | [actions/checkout](https://github.com/actions/checkout) | `6` | `7` | | [actions/upload-artifact](https://github.com/actions/upload-artifact) | `4` | `7` | | [actions/download-artifact](https://github.com/actions/download-artifact) | `4` | `8` | | [bencherdev/bencher](https://github.com/bencherdev/bencher) | `0.6.8` | `0.6.11` | | [github/codeql-action](https://github.com/github/codeql-action) | `4` | `4.37.4` | 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) Updates `github/codeql-action` from 4 to 4.37.4 - [Release notes](https://github.com/github/codeql-action/releases) - [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/github/codeql-action/compare/v4...v4.37.4) --- 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/upload-artifact 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: bencherdev/bencher dependency-version: 0.6.11 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions - dependency-name: github/codeql-action dependency-version: 4.37.4 dependency-type: direct:production update-type: version-update:semver-minor 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 | 14 +++++++------- 4 files changed, 15 insertions(+), 15 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 12d67a36a..805f2e149 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -40,7 +40,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 @@ -147,7 +147,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: . @@ -187,7 +187,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..a41150f4a 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,14 +60,14 @@ 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 + - uses: github/codeql-action/init@v4.37.4 with: languages: actions build-mode: none - - uses: github/codeql-action/analyze@v4 + - uses: github/codeql-action/analyze@v4.37.4 with: category: "/language:actions" @@ -81,14 +81,14 @@ 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 + - uses: github/codeql-action/init@v4.37.4 with: languages: rust build-mode: none dependency-caching: true - - uses: github/codeql-action/analyze@v4 + - uses: github/codeql-action/analyze@v4.37.4 with: category: "/language:rust"