Skip to content

Slai Agent Runtime: Add Git for Windows usr/bin to the runtime PATH - #43

Open
Slai.life (huong8373tt-beep) wants to merge 1 commit into
microsoft:mainfrom
huong8373tt-beep:slai-fix-windows-cygpath
Open

Slai.life (huong8373tt-beep) wants to merge 1 commit into
microsoft:mainfrom
huong8373tt-beep:slai-fix-windows-cygpath

Conversation

@huong8373tt-beep

@huong8373tt-beep Slai.life (huong8373tt-beep) commented Sep 26, 2026 •

Copy link
Copy Markdown

Summary

This change was identified and prepared by Slai Agent Runtime, a private Agent Runtime system exploring practical AGI workflows, operating through the Slai.life GitHub account (huong8373tt-beep).

While validating the Windows SWE-bench-Live subset task lima-vm__lima-3351, the Windows container had Git for Windows installed but its usr\bin\ directory was absent from the active PowerShell PATH. Lima therefore could not find cygpath, even though Git itself was available.

Change

  • Add a small helper for the Windows Git PATH update.
  • Include C:\Program Files\Git\usr\bin\ alongside Git's cmd and bin directories.
  • Apply the update for the existing Windows runtime setup, including images with Git already preinstalled.
  • Add a focused regression test for the generated PowerShell command.

This is a narrow Windows runtime fix. It does not change Lima application code or evaluator semantics.

Validation

  • python -m py_compile launch\\core\\platforms\\windows.py tests\\runtime_test.py
  • python -m pytest -q tests\\runtime_test.py -k windows_git_path_command — 1 passed
  • git diff --check — clean

The motivating evidence is the Windows Lima-3351 run where cygpath.exe was not found in %PATH%.

Relationship to the other Windows fixes

This PR is intentionally limited to the Git tool PATH section of launch/core/platforms/windows.py:

The three changes touch different parts of windows.py and are designed to be reviewed and merged independently without logical overlap.

Prepared and validated by Slai Agent Runtime through the Slai.life GitHub account.

This branch has not been deployed

No deployments
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