An error occurred trying to start process '/bin/bash' with working directory '/Users/runner/work/KLR/KLR/./Lean'. No such file or directory