By default clippy-driver will report its own version, which is not very useful to check the toolchain version. Instead make sure to extract the actual toolchain version here.pull/11683/head
parent
c725816c81
commit
22960758aa
1 changed files with 12 additions and 1 deletions
Loading…
Reference in new issue