diff options
| author | crystal <crystal@noreply.codeberg.org> | 2024-01-09 16:55:06 -0700 |
|---|---|---|
| committer | crystal <crystal@noreply.codeberg.org> | 2024-01-09 16:55:06 -0700 |
| commit | eb73ef0cbca6c90a30fe8280d6217eb6e2c60ca2 (patch) | |
| tree | 577f668772b8390226e80fa7cb052fc1d0ae7fc4 | |
| parent | b2c5780397b695b4b357f3e5c71919f3eb062fad (diff) | |
Revert "[temp] ignore ci failure"
This reverts commit 1f7484ab2747d9f61e7083ae68d819057590f171.
| -rwxr-xr-x | .ci-make.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.ci-make.sh b/.ci-make.sh index 32e113d..77192e6 100755 --- a/.ci-make.sh +++ b/.ci-make.sh @@ -36,9 +36,7 @@ case "$1" in ;; *) echo "ERROR: Bad pipeline status $CI_VERIFY" - #exit 1 - echo "WARNING: Ignoring!" - exit 0 + exit 1 ;; esac done |