diff --git a/src/test/ci.sh b/src/test/ci.sh index 97afb53f..ea0d3bd3 100755 --- a/src/test/ci.sh +++ b/src/test/ci.sh @@ -31,8 +31,16 @@ case "$1" in else echo "Successfully Failed" fi - - sudo rm -rf /rsync + + # We run the failed build twice to check the failure logic. + # It should find the failed build, delete it and then fail again. + if sudo "$GITHUB_WORKSPACE/_build/install/default/bin/shark" md specs/shark.failure.md --store=rsync:/rsync --rsync-mode=hardlink --verbose; then + exit 1 + else + echo "Successfully Failed" + fi + + sudo rm -rf /rsync ;; *) printf "Usage: main.sh [zfs|rsync_copy]" >&2 diff --git a/vendor/obuilder b/vendor/obuilder index cf81e9a6..3196b14c 160000 --- a/vendor/obuilder +++ b/vendor/obuilder @@ -1 +1 @@ -Subproject commit cf81e9a683ce10631e3c003a60594f3601e067fc +Subproject commit 3196b14c8de6a51c26c553166943b22fba01b76c