diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-03 15:29:37 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-03 16:18:12 -0400 |
| commit | 177b2f42de0339c3ac91ee7b9a91d47bd39d3062 (patch) | |
| tree | 6ba553d2cb57e034e0a975b0911ae940bcd00327 /Biz/Ci.sh | |
| parent | 432739b3e950f3ee33d4f083343b28f7755d0861 (diff) | |
Don't exit CI script on failure
The whole point is to catch errors and write the result to the git notes, if the
process exits then we can't do that.
Diffstat (limited to 'Biz/Ci.sh')
| -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" ]] +## |