ci: add clippy
results to GitHub code scans
#9318
Open
Loading
clippy
results to GitHub code scans
#9318