Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use bash shell when using here-strings (#21817)
<img width="1032" alt="Screenshot 2024-10-20 at 07 14 49" src="https://github.com/user-attachments/assets/321ba7ce-9fd2-413c-aec3-14215fbee786"> [positive](https://github.com/WojciechMazur/dotty/actions/runs/11416876799/job/31768568868) test in #21810 also uses `bash` instead of `sh` Closes #21815
- Loading branch information