Skip to content

Merge remote-tracking branch 'origin/main' #238

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #238

GitHub Actions / clippy succeeded Oct 22, 2024 in 0s

clippy

Details

Results

Message level Amount
Internal compiler error 0
Error 0
Warning 0
Note 0
Help 0

Versions

  • rustc 1.81.0 (eeb90cda1 2024-09-04)
  • cargo 1.81.0 (2dbb1af80 2024-08-20)
  • clippy 0.1.81 (eeb90cd 2024-09-04)