Open dyxushuai opened 11 months ago
In general, the CI triggers reviewdog [clippy]
(e.g. https://github.com/risc0/zeth/runs/19521165223). However, it seems to depend on the module 🤔
Maybe it is related to the fact that clippy does not work from the command line...
In general, the the CI triggers
reviewdog [clippy]
(e.g. risc0/zeth/runs/19521165223). However, it seems to depend on the module 🤔 Maybe it is related to the fact that clippy does not work from the command line...
I got lots of context from you. I want to give the issue a try in the coming days.
Independent issue for tracking the CI problem. The original discussion: https://github.com/risc0/zeth/pull/64#pullrequestreview-1775562186
My opinion: https://github.com/risc0/zeth/pull/64#issuecomment-1851969881
I think it doesn't add Clippy component in the
risc0/risc0/.github/actions/rustup
action. Perhaps we can add the snippet: