remove run_clippy.sh script, that has been replaced with just check-cargo-clippy
#1731
The logs for this run have expired and are no longer available.
Loading
just check-cargo-clippy
#1731