Closed ManasJayanth closed 3 years ago
Thanks @-phated for the idea
🙌
Thank you @phated and @prometheansacrifice. I incorporated the fixes into this PR: https://github.com/facebook/reason/pull/2605 I'll merge the other one if it's ready within the day, else merge this one.
Bash@3 started failing after a recent change related to WSL
https://github.com/actions/virtual-environments/pull/1081 https://github.com/actions/virtual-environments/pull/1276
This PR ensure bash.exe is picked from Git Bash