From fce6ad2e991e8f51c88db6adf60a519d018cfd19 Mon Sep 17 00:00:00 2001
From: Michael Dales <mwd24@cam.ac.uk>
Date: Wed, 10 Jul 2024 13:53:29 +0100
Subject: [PATCH] Add some simple success/fail integration tests

---
 src/test/ci.sh | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/test/ci.sh b/src/test/ci.sh
index 574419fc..6bfa9b70 100755
--- a/src/test/ci.sh
+++ b/src/test/ci.sh
@@ -43,7 +43,18 @@ case "$1" in
 		else
 			echo "Successfully Failed"
 		fi
-        
+
+        for d in `find specs -name "succeed*.md"`; do
+            sudo "$GITHUB_WORKSPACE/_build/install/default/bin/shark" md $d --store=rsync:/rsync --rsync-mode=hardlink --verbose
+        done
+        for d in `find specs -name "fail*.md"`; do
+            if sudo "$GITHUB_WORKSPACE/_build/install/default/bin/shark" md $d --store=rsync:/rsync --rsync-mode=hardlink --verbose; then
+                exit 1
+            else
+                echo "Successfully Failed"
+            fi
+        done
+
 		sudo rm -rf /rsync
         ;;
     *)