Skip to content

Merge pull request #731 from chrisduerr/import_external #1220

Merge pull request #731 from chrisduerr/import_external

Merge pull request #731 from chrisduerr/import_external #1220

GitHub Actions / clippy succeeded Jun 18, 2024 in 0s

clippy

Details

Results

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

Versions

  • rustc 1.79.0 (129f3b996 2024-06-10)
  • cargo 1.79.0 (ffa9cf99a 2024-06-03)
  • clippy 0.1.79 (129f3b9 2024-06-10)