NoIssue: Build improvements

2026-01-24 13:25:49 +01:00
parent 9a89e626d1
commit c157c80036
5 changed files with 13 additions and 1 deletions
--- a/clean.sh
+++ b/clean.sh
@@ -1 +1,4 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
 ./gradlew clean ; rm -rf build