Nico Rehwaldt d9a365ee23 ci: execute stage scripts without bash
Not needed with proper (fixed) shebang statements.
2021-09-16 13:12:36 +02:00
..
2021-05-03 12:10:41 +00:00