Distinguish failed builds from successful ones

quantifyearth · May 3, 2024 · 10905aa · 10905aa
1 parent e6083bc
commit 10905aa
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git 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
+5 −0		lib/btrfs_store.ml
+25 −13		lib/db_store.ml
+2 −0		lib/docker_store.ml
+5 −0		lib/rsync_store.ml
+4 −0		lib/s.ml
+5 −0		lib/xfs_store.ml
+8 −0		lib/zfs_store.ml