mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
github_annotate.sh: fix usage and function of _github_annotate
This commit is contained in:
parent
429a2a8724
commit
619d013d6e
4
dist/tools/ci/github_annotate.sh
vendored
4
dist/tools/ci/github_annotate.sh
vendored
@ -37,7 +37,7 @@ _github_annotate() {
|
||||
MESSAGE="$(_escape "${1}")"
|
||||
LEVEL="${2:-error}"
|
||||
OPTS="${3:-}"
|
||||
echo "::${LEVEL} ${OPTS}::${DETAILS}" >> ${OUTFILE}
|
||||
echo "::${LEVEL} ${OPTS}::${MESSAGE}" >> ${OUTFILE}
|
||||
}
|
||||
|
||||
github_annotate_error() {
|
||||
@ -60,7 +60,7 @@ github_annotate_warning() {
|
||||
if [ -n "${GITHUB_RUN_ID}" ]; then
|
||||
FILENAME="${1}"
|
||||
LINENUM="${2}"
|
||||
DETAILS="$(_escape "${3}")"
|
||||
DETAILS="${3}"
|
||||
_github_annotate "${DETAILS}" warning "file=${FILENAME},line=${LINENUM}"
|
||||
fi
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user