diff options
| -rw-r--r-- | .github/workflows/build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 7fa2953b3..32e3bc900 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -81,6 +81,7 @@ jobs: working-directory: tests - name: Print failure info run: | + shopt -s nullglob; for exp in *.exp; do testbase=$(basename $exp .exp); echo -e "\nFAILURE $testbase"; |