diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 3a97e04..6df5a4c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml | |||
| @@ -48,3 +48,15 @@ jobs: | |||
| 48 | run: msys2do make | 48 | run: msys2do make |
| 49 | - name: make check | 49 | - name: make check |
| 50 | run: msys2do make check | 50 | run: msys2do make check |
| 51 | - name: print test logs | ||
| 52 | run: | | ||
| 53 | for I in test/*.trs; do | ||
| 54 | RES=`grep ":test-result" $I |cut -d ":" -f 3` | ||
| 55 | if test $RES != PASS; then | ||
| 56 | TESTNAME=`basename $I .trs` | ||
| 57 | echo $TESTNAME: | ||
| 58 | cat test/$TESTNAME.log | ||
| 59 | echo | ||
| 60 | fi | ||
| 61 | done | ||
| 62 | shell: bash | ||
