Skip to content

ci: fix rustfmt check env spelling#1

Open
Luzijano wants to merge 10 commits into
BitgesellOfficial:masterfrom
Luzijano:ci-rustfmt-env-name
Open

ci: fix rustfmt check env spelling#1
Luzijano wants to merge 10 commits into
BitgesellOfficial:masterfrom
Luzijano:ci-rustfmt-env-name

Conversation

@Luzijano
Copy link
Copy Markdown

Summary

  • fixes the CI matrix environment variable from RUSTFMTCHK to RUSTFMTCHECK
  • makes the stable Rust CI job actually enter the existing rustfmt check branch in contrib/test.sh
  • keeps the change limited to CI wiring; no source behavior changes

Validation

  • RED/proof before fix: a repository-local assertion failed because .github/workflows/rust.yml exported RUSTFMTCHK while contrib/test.sh reads RUSTFMTCHECK, meaning rustfmt was skipped
  • GREEN/proof after fix: the same assertion passes and confirms the workflow/script spelling matches
  • bash -n contrib/test.sh
  • git diff --check

Note: cargo fmt --all -- --check could not be run in this cron environment because rustup/the cargo fmt component is not installed here; this PR enables the repository's existing CI to run that check on GitHub.

AI/tooling disclosure: prepared with Hermes Agent automation.

Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Luzijano added 9 commits May 23, 2026 04:15
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Signed-off-by: Lucijano JL. <218673409+Luzijano@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant