diff options
Diffstat (limited to '.github/workflows/run.sh')
| -rwxr-xr-x | .github/workflows/run.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/run.sh b/.github/workflows/run.sh index 5087fd364..3f6b00431 100755 --- a/.github/workflows/run.sh +++ b/.github/workflows/run.sh @@ -5,8 +5,8 @@ export HOME="$PWD" mkdir -p .cache set -o pipefail -# Run the specified command in syz-env and convert error messages to github format: +# Run the specified command and convert error messages to github format: # https://help.github.com/en/actions/reference/workflow-commands-for-github-actions#setting-an-error-message -gopath/src/github.com/google/syzkaller/tools/$1 "${@:2}" | \ +$1 "${@:2}" | \ sed -E "s#/syzkaller/gopath/src/github.com/google/syzkaller/#\n#g" | \ sed -E 's#\s*([a-zA-Z0-9._/-]+):([0-9]+):(([0-9]+):)? (.+)#\0\n::error file=\1,line=\2,col=0\4::\5#' |