aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Grote2023-11-09 09:21:48 +0100
committerMichael Grote2023-11-09 09:21:48 +0100
commit05aaf3960c92090a7b88ccb8040652a1dd3d13c1 (patch)
tree680abdff1cb76a02c475508f827c5c881357a261
parentc9cd4a913d29d4fb9f805a1cedc5bc812d24526d (diff)
ci: ignore tests.sh
-rw-r--r--tests.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests.sh b/tests.sh
index 4b8535c..8d442ec 100644
--- a/tests.sh
+++ b/tests.sh
@@ -1,4 +1,5 @@
#!/bin/bash
+# shellcheck disable=all
# führe Script nach Fehlern weiter aus
set +e