Skip to content

Set default shell to bash for all ci jobs#6023

Merged
Wumpf merged 1 commit intomainfrom andreas/default-bashApr 17, 2024