Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixes Windows CI: prepend '/c/Program Files/Git/bin' #2611

Merged
merged 3 commits into from
Jul 26, 2020
Merged

Fixes Windows CI: prepend '/c/Program Files/Git/bin' #2611

merged 3 commits into from
Jul 26, 2020

Conversation

ManasJayanth
Copy link
Contributor

Bash@3 started failing after a recent change related to WSL

actions/runner-images#1081
actions/runner-images#1276

This PR ensure bash.exe is picked from Git Bash

@ManasJayanth
Copy link
Contributor Author

Thanks @-phated for the idea

@ManasJayanth
Copy link
Contributor Author

🙌

@jordwalke
Copy link
Member

Thank you @phated and @prometheansacrifice. I incorporated the fixes into this PR:
#2605
I'll merge the other one if it's ready within the day, else merge this one.

@jordwalke jordwalke merged commit d3822b7 into reasonml:master Jul 26, 2020
@ManasJayanth ManasJayanth deleted the fix-windows-ci-prepend-git-bash branch August 6, 2020 14:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants