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: