Merge pull request #15803 from miri64/static-tests/enh/group-runs
static-tests: group tests
This commit is contained in:
commit
dd407f2717
11
dist/tools/ci/static_tests.sh
vendored
11
dist/tools/ci/static_tests.sh
vendored
@ -69,7 +69,11 @@ function run {
|
|||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
||||||
echo -n "Running \"$*\" "
|
if [ -n "${GITHUB_RUN_ID}" ]; then
|
||||||
|
echo -n "::group::$1 "
|
||||||
|
else
|
||||||
|
echo -n "Running \"$*\" "
|
||||||
|
fi
|
||||||
OUT=$("$@" 2>&1)
|
OUT=$("$@" 2>&1)
|
||||||
NEW_RESULT=$?
|
NEW_RESULT=$?
|
||||||
|
|
||||||
@ -84,7 +88,10 @@ function run {
|
|||||||
(printf "%s\n" "$OUT" | while IFS= read -r line; do printf "\t%s\n" "$line"; done)
|
(printf "%s\n" "$OUT" | while IFS= read -r line; do printf "\t%s\n" "$line"; done)
|
||||||
echo ""
|
echo ""
|
||||||
fi
|
fi
|
||||||
github_annotate_report_last_run
|
if [ -n "${GITHUB_RUN_ID}" ]; then
|
||||||
|
github_annotate_report_last_run
|
||||||
|
echo "::endgroup::"
|
||||||
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
RESULT=0
|
RESULT=0
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user