diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index abc7600..0e6d69c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -591,10 +591,9 @@ jobs: - name: make test run: make V=1 clean test MOREFLAGS='-Werror -Wconversion -Wno-sign-conversion' - - name: make test | tee - # test scenario where `stdout` is not the console - run: make V=1 clean test MOREFLAGS='-Werror -Wconversion -Wno-sign-conversion' | tee - + - name: Ensure `make test` doesn't depend on the status of the console + # see issue #990 for detailed explanations + run: make test > /dev/null ############################################################### |