From 50d3796aaa0ec4d9d4be2d48acc717baa25a45db Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 16 Sep 2026 12:54:32 +0000 Subject: [PATCH 1/2] chore(deps): Bump the actions-dependencies group across 1 directory with 2 updates Bumps the actions-dependencies group with 2 updates in the / directory: [actions/checkout](https://github.com/actions/checkout) and [actions-rust-lang/setup-rust-toolchain](https://github.com/actions-rust-lang/setup-rust-toolchain). 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-rust-lang/setup-rust-toolchain` from 1 to 2 - [Release notes](https://github.com/actions-rust-lang/setup-rust-toolchain/releases) - [Changelog](https://github.com/actions-rust-lang/setup-rust-toolchain/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions-rust-lang/setup-rust-toolchain/compare/v1...v2) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions-dependencies - dependency-name: actions-rust-lang/setup-rust-toolchain dependency-version: '2' dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions-dependencies ... Signed-off-by: dependabot[bot] --- .github/workflows/ci.yml | 2 +- .github/workflows/update.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 87cc00d..edac107 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -24,7 +24,7 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v7 - - uses: actions-rust-lang/setup-rust-toolchain@v1 + - uses: actions-rust-lang/setup-rust-toolchain@v2 with: # Warnings are handled by CARGO_BUILD_WARNINGS above, which applies # to local packages only. The action defaults to `-D warnings`, diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml index 7829365..cd11d72 100644 --- a/.github/workflows/update.yml +++ b/.github/workflows/update.yml @@ -14,7 +14,7 @@ jobs: update: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 # Mint a token from the GitHub App so the opened PR triggers CI; pushes # made with GITHUB_TOKEN do not. Same App as the org repo-sync workflows. From a9a01353bbd1bfdf705292f6a67a696b40120be1 Mon Sep 17 00:00:00 2001 From: samuelburnham <45365069+samuelburnham@users.noreply.github.com> Date: Wed, 23 Sep 2026 15:02:43 -0400 Subject: [PATCH 2/2] Remove redundant env var --- .github/workflows/ci.yml | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index edac107..3397d2e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,23 +13,12 @@ concurrency: group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} cancel-in-progress: true -# Fail every cargo invocation on warnings from workspace-local packages -# (cargo's build.warnings, stable since 1.97). CI-only: local builds -# still just warn. -env: - CARGO_BUILD_WARNINGS: deny - jobs: test: runs-on: ubuntu-latest steps: - uses: actions/checkout@v7 - uses: actions-rust-lang/setup-rust-toolchain@v2 - with: - # Warnings are handled by CARGO_BUILD_WARNINGS above, which applies - # to local packages only. The action defaults to `-D warnings`, - # which also denies warnings from dependencies. - rustflags: "" # Simpler to install Lean than to use lean-action for only this purpose. - name: Install Lean run: |