diff options
| author | Michael Grote | 2023-11-09 09:21:48 +0100 |
|---|---|---|
| committer | Michael Grote | 2023-11-09 09:21:48 +0100 |
| commit | 05aaf3960c92090a7b88ccb8040652a1dd3d13c1 (patch) | |
| tree | 680abdff1cb76a02c475508f827c5c881357a261 | |
| parent | c9cd4a913d29d4fb9f805a1cedc5bc812d24526d (diff) | |
ci: ignore tests.sh
| -rw-r--r-- | tests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,4 +1,5 @@ #!/bin/bash +# shellcheck disable=all # führe Script nach Fehlern weiter aus set +e |