Skip to content

Merge pull request #251 from anoma/xuyang/resource_machine_renames #525

Merge pull request #251 from anoma/xuyang/resource_machine_renames

Merge pull request #251 from anoma/xuyang/resource_machine_renames #525

GitHub Actions / Clippy succeeded Nov 24, 2023 in 0s

Clippy

Details

Results

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

Versions

  • rustc 1.74.0 (79e9716c9 2023-11-13)
  • cargo 1.74.0 (ecb9851af 2023-10-18)
  • clippy 0.1.74 (79e9716 2023-11-13)