diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 584973f..7a1e243 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -37,8 +37,9 @@ jobs: - name: Show build.rs stderr shell: bash run: | - mapfile -d '' -t STDERR_FILES < <(find "./target/debug" -name stderr -print0 | grep -z bandwhich) - for FILE in "${STDERR_FILES[@]}"; do + # it's probably okay to assume no spaces? + STDERR_FILES=$(find "./target/debug" -name stderr | grep bandwhich) + for FILE in $STDERR_FILES; do echo "::group::$FILE" cat "$FILE" echo "::endgroup::" |