From 3d7f38e3deab96344603ed4b73a65bfa1193d553 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 21 Sep 2026 10:13:26 +0000 Subject: [PATCH 1/2] chore(deps): bump actions-rust-lang/setup-rust-toolchain Bumps the actions-dependencies group with 1 update in the / directory: [actions-rust-lang/setup-rust-toolchain](https://github.com/actions-rust-lang/setup-rust-toolchain). 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-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 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 48aa1f3..a742b68 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -33,7 +33,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`, From 15ae7863ef7dc0757fe57b746613638bea87e4df Mon Sep 17 00:00:00 2001 From: samuelburnham <45365069+samuelburnham@users.noreply.github.com> Date: Wed, 23 Sep 2026 15:14:32 -0400 Subject: [PATCH 2/2] ci: Use Rust toolchain action warning defaults Remove the global CARGO_BUILD_WARNINGS setting and empty rustflags override. Run setup-rust-toolchain v2 before Lean Tests as well as Valgrind so both Cargo builds retain warning enforcement through the action default. --- .github/workflows/ci.yml | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a742b68..0b33c99 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -11,18 +11,13 @@ 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: lean-test: name: Lean Tests runs-on: ubuntu-latest steps: - uses: actions/checkout@v7 + - uses: actions-rust-lang/setup-rust-toolchain@v2 - uses: leanprover/lean-action@v1 with: build-args: "--wfail" @@ -34,11 +29,6 @@ jobs: 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: "" # Only restore the cache, since the `test` job will save the test binary to the cache first - uses: actions/cache/restore@v6 with: