Skip to content

ci: temporary Windows exact-head proof for #265 and #266 - #269

Draft
safal207 wants to merge 1 commit into
mainfrom
ci/windows-exact-head-proof-265-266
Draft

ci: temporary Windows exact-head proof for #265 and #266#269
safal207 wants to merge 1 commit into
mainfrom
ci/windows-exact-head-proof-265-266

Conversation

@safal207

@safal207 safal207 commented Sep 3, 2026

Copy link
Copy Markdown
Owner

Purpose

Temporary repository-owned Windows execution proof for two unchanged draft PR heads:

Bounded verification

  • Windows runner only.
  • Each job checks out its literal target SHA rather than this workflow PR's merge ref.
  • Initial and final git rev-parse HEAD must both match the expected SHA.
  • Make MCP Mix invocation portable on Windows #265 runs the repository MCP smoke harness, exercising the Windows mix.cmd, path.delimiter, and Windows shell-launch branch.
  • Fix Windows worker executable resolution #266 builds solver_port.exe and runs only test/port_worker_test.exs, exercising the Windows executable-selection branch.
  • Both jobs upload a seven-day evidence artifact containing identity, runner, command, exit status, and raw target logs.

Excluded

No implementation changes, dependency changes, broad test matrix, merge approval, Ota adoption decision, or modification to #265/#266.

This PR is temporary and should not be merged. Close it after the artifacts have been independently checked. Until both exact-head jobs execute successfully, #265 and #266 remain HOLD / NOT_RUN.

@coderabbitai

coderabbitai Bot commented Sep 3, 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.

safal207 commented Sep 3, 2026

Copy link
Copy Markdown
Owner Author

Exact-head Windows verification completed: run 33766318986.

Target Windows proof Identity Result
#265 70d4a98a4801884b1c75df0166154e2d6d28853b node integrations/mcp/smoke.mjs before = after = expected 14 assertions passed; exit 0
#266 e62820c8f3a22ec6f26b027805e2a0ff1a73f509 build solver_port.exe; mix test test/port_worker_test.exs before = after = expected 3 tests, 0 failures; exit 0

Artifacts were independently downloaded and integrity-checked against the GitHub digests:

  • pr-265-windows-exact-head: sha256:1be6e23525275d0c51d765a480fda70d5a415d6b51b57921f8cc963fb1c7457b
  • pr-266-windows-exact-head: sha256:2e4b25cc1e109b68bdc9e77fa80c03a4a790a6b0f095d0628ac1116844652bb3

Final GitHub recheck after artifact collection confirmed both PR heads are still unchanged.

Bounded verdict: the previously NOT_RUN Windows-specific gate is now PASS for these exact revisions. This is execution evidence only; it does not merge either PR, broaden tested scope, or grant general merge/product approval. Keep this temporary workflow PR unmerged.

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