diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2024-10-03 10:33:04 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-03 10:33:04 -0700 |
| commit | 74bdd03955f2074b7feae8341f3f07398e649403 (patch) | |
| tree | 78190e56dec02c932e81ac59844b0d77318c665f /tests | |
| parent | a11a776642ebcb69924ff79e3c5aebdf9f9e08ff (diff) | |
Add path to bash to GITHUB_PATH (#5217)
* Add path to bash to GITHUB_PATH
This is a workaround for a problem that keeps reoccurring on one of our self-hosted machines.
Ideally, we should assume that bash shell is available on the runner system, and we should rely on the system-wise setting of PATH to find bash.
This commit is a workaround for a case where bash cannot be found from the runner machine, which shouldn't be a case in a normal situation. It is also not safe to assume that the location of where bash is at a fixed location, because it can vary by how the system is setup.
Once we root cause the issue on the SlangWin4-2, we may remove this workaround later.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions