Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

fix annotation error status on clippy annotation shell

Browse source 
Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
Jerens Lensun 2025-06-04 14:19:09 +08:00
parent 142b32a1e1
commit f0920d975f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/clippy-annotation.sh
View file

@ -18,7 +18,7 @@ output=$(jq -c '
$in.message.level
| if . == "help" or . == "note" then "notice"
elif . == "warning" then "warning"
else "error"
else "failure"
end
),
title: $in.message.message,