From 474afa2cdd99c255c76e8a6493c677cb2940be46 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Wed, 24 Jul 2024 12:47:58 +0200
Subject: [PATCH] debug

---
 .github/workflows/build.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5b26f87..a95ea6a 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,7 +18,7 @@ jobs:
       - name: make
         run: cd build && make
       - name: tests
-        run: cd build && ctest --output-on-failure
+        run: cd build && ctest --output-on-failure --verbose
   ubuntu-latest-build-gcc:
     runs-on: ubuntu-latest
     steps:
@@ -35,7 +35,7 @@ jobs:
       - name: make
         run: cd build && make
       - name: tests
-        run: cd build && ctest --output-on-failure
+        run: cd build && ctest --output-on-failure --verbose
   ubuntu-20-04-build-clang:
     runs-on: ubuntu-20.04
     steps:
@@ -56,7 +56,7 @@ jobs:
       - name: make
         run: cd build && make
       - name: tests
-        run: cd build && ctest --output-on-failure
+        run: cd build && ctest --output-on-failure --verbose
   ubuntu-latest-build-clang:
     runs-on: ubuntu-latest
     steps:
@@ -77,7 +77,7 @@ jobs:
       - name: make
         run: cd build && make
       - name: tests
-        run: cd build && ctest --output-on-failure
+        run: cd build && ctest --output-on-failure --verbose
   macos-latest-build:
     runs-on: macOS-latest
     steps:
@@ -92,7 +92,7 @@ jobs:
       - name: make
         run: cd build && make
       - name: tests
-        run: cd build && ctest --output-on-failure
+        run: cd build && ctest --output-on-failure --verbose
   macos-12-build:
     runs-on: macOS-12
     steps:
@@ -107,4 +107,4 @@ jobs:
       - name: make
         run: cd build && make
       - name: tests
-        run: cd build && ctest --output-on-failure
+        run: cd build && ctest --output-on-failure --verbose