From 4215d85d1d412dd5f0ff44273c6cb6d2693ce5fb Mon Sep 17 00:00:00 2001
From: Ioannis Filippidis <jfilippidis@gmail.com>
Date: Wed, 22 Jun 2022 01:50:07 +0200
Subject: [PATCH] CI: `cat` logs (`*.err` and `*.out`) of test files

upon failure of any tests.

Signed-off-by: Ioannis Filippidis <jfilippidis@gmail.com>
---
 .github/workflows/ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1074e64f..7fd428df 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -69,6 +69,13 @@ jobs:
                 TEST_RESULT=$?
                 cat _build/default/test/tests.log
                 exit $TEST_RESULT
+            - name: show logs for each test file
+              if: failure()
+              run: |
+                find test -type f \
+                    -name '*.err' -o \
+                    -name '*.out' \
+                    -exec cat '{}' \;
             - name: Clone tlaplus/examples
               uses: actions/checkout@v4
               with: