Skip to content

ci(tooling): export rustfmt T079 source - #82

Closed
TheHalfMoon wants to merge 4 commits into
impl/006-t079-bounded-codex-connected-prooffrom
tooling/t079-rustfmt-3bbb9c18
Closed

ci(tooling): export rustfmt T079 source#82
TheHalfMoon wants to merge 4 commits into
impl/006-t079-bounded-codex-connected-prooffrom
tooling/t079-rustfmt-3bbb9c18

Conversation

@TheHalfMoon

@TheHalfMoon TheHalfMoon commented Aug 28, 2026

Copy link
Copy Markdown
Owner

Temporary tooling-only PR used to run the repository-pinned Rust 1.97.1 formatter against exact parent 3bbb9c18a5d3f1c9d99f1e7bdd84d3b45d912e0c and export only src/t079_codex_connected_tests.rs as a short-lived artifact.

This PR targets the existing T079 branch, not main. It must not be merged. It grants no write credentials, changes no production source, runs no ignored connected proof, and creates no authorization or acceptance evidence. The generated artifact will be independently bound back to the exact parent before any fast-forward formatting commit is made to PR #80.


Summary by cubic

Temporarily switched the CI format step to export the rustfmt-formatted T079 connected-tests source to the tooling branch; the canonical quality workflow is now restored.

  • Contains only rustfmt formatting changes to src/t079_codex_connected_tests.rs.
  • The temporary format job and its contents: write grant are reverted.
  • Do not merge: tooling-only PR for the T079 branch; creates no acceptance or authorization evidence.

Written for commit 873a327. Summary will update on new commits.

Review in cubic

@coderabbitai

coderabbitai Bot commented Aug 28, 2026

Copy link
Copy Markdown

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

  • Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

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