diff options
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/workflows/run.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/run.sh b/.github/workflows/run.sh index 3f6b00431..47aa102bd 100755 --- a/.github/workflows/run.sh +++ b/.github/workflows/run.sh @@ -8,5 +8,4 @@ set -o pipefail # 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 $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#' |