If a project fails to compile, the clippy annotation job will succeed. It currently only fails if the project compiles and its lints return results.
Related to this: the verbose JSON output from clippy_check is really hard to read. If a project fails to compile, it would be nice if the clippy job produced the compilation error in a human readable output.