Commit eb0bbdd
authored
clippy: GitHub inline annotation (#405)
* clippy: Add script to format json output as github inline annotation
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: Make github inline annotation only work on specific platform and feature
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: refactor to composite actions for clippy-annotation.sh
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: fix the wrong action name on clippy annotation
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: fix the wrong path clippy-annotation.sh
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: add changes based on PR review
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: consolidate clippy into one composite action
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: make clippy not cancel if fail
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: test the same config on actions repo
Signed-off-by: Jerens Lensun <[email protected]>
* clippy: changes clippy annotation action to use from servo/actions repo
Signed-off-by: Jerens Lensun <[email protected]>
---------
Signed-off-by: Jerens Lensun <[email protected]>1 parent d918d57 commit eb0bbdd
1 file changed
+4
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | | - | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
39 | 42 | | |
40 | 43 | | |
41 | 44 | | |
| |||
0 commit comments