An error occurred trying to start process '/usr/bin/bash' with working directory '/home/runner/work/malachite/malachite/Spec/Quint'. No such file or directory