- Apr 05, 2021
-
-
Martin Weinelt authored
-
- May 13, 2020
-
-
Matthias Schiffer authored
- Rely on shebang instead of setting shell in workflow - Run whole install-dependencies.sh in sudo - Use /bin/sh instead of bash - set -e
-
- Apr 05, 2020
-
-
David Bauer authored
-
David Bauer authored
-
David Bauer authored
-