Skip to content
Update website

rust: raise a warning if clippy is used instead of rustc #4171

Sign in to view logs

rust: raise a warning if clippy is used instead of rustc

rust: raise a warning if clippy is used instead of rustc #4171

Annotations

1 warning

update_website

update_website
succeeded Dec 19, 2024 in 1m 48s