diff options
| -rwxr-xr-x | Biz/Ci.sh | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -9,8 +9,10 @@ # It would be cool to use a zero-knowledge proof mechanism here to prove that # so-and-so ran the tests, but I'll have to research how to do that. # +# ensure we don't exit on bild failure, only on CI script error + set +e + set -u ## - set -uo pipefail [[ -n $(git status -s) ]] && { echo fail: dirty worktree; exit 1; } ## at=$(date -R) @@ -37,7 +39,6 @@ lint_result="good" else lint_result="fail" - exit 1 fi ## if bild "${BILD_ARGS:-""}" --test "${CODEROOT:?}"/**/* @@ -45,7 +46,6 @@ test_result="good" else test_result="fail" - exit 1 fi ## read -r -d '' note <<EOF @@ -57,3 +57,6 @@ EOF ## git notes --ref=ci append -m "$note" ## +# exit 1 if failure + [[ ! "$lint_result" == "fail" && ! "$test_result" == "fail" ]] +## |