Daniel Kolesa 9a6c3798b3 CI: use bash for CI scripts		2021-04-15 20:54:24 +02:00
..
workflows	CI: use bash for CI scripts	2021-04-15 20:54:24 +02:00