From 53e4eca2728ac828f3a0fd032edfa6b5ced63752 Mon Sep 17 00:00:00 2001
From: TDacik <xdacik00@stud.fit.vutbr.cz>
Date: Fri, 6 Dec 2024 11:36:45 +0100
Subject: [PATCH] [Tests] fail on error in unit tests

---
 .github/workflows/tests.yml | 2 +-
 tests/run.sh                | 6 ------
 2 files changed, 1 insertion(+), 7 deletions(-)
 delete mode 100755 tests/run.sh

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 100484c..a446488 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -28,7 +28,7 @@ jobs:
         run: opam exec -- dune build
 
       - name: Run unit tests
-        run: sh tests/run.sh
+        run: dune runtest
 
       - name: Run regression tests
         run: python3 scripts/run_tests.py
diff --git a/tests/run.sh b/tests/run.sh
deleted file mode 100755
index f96aa85..0000000
--- a/tests/run.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-
-for test_case in $(find . -name '*_tests.exe')
-do
-    ./$test_case #--compact
-done