You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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: #64 (review)
My opinion: #64 (comment)
I think it doesn't add Clippy component in the
risc0/risc0/.github/actions/rustup
action.Perhaps we can add the snippet:
The text was updated successfully, but these errors were encountered: