Skip to content

Merge pull request #14 from drbrain/patch-1 #63

Merge pull request #14 from drbrain/patch-1

Merge pull request #14 from drbrain/patch-1 #63

This check has been archived and is scheduled for deletion. Learn more about checks retention
GitHub Actions / clippy succeeded Oct 8, 2023 in 1s

clippy

Details

Results

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

Versions

  • rustc 1.72.1 (d5c2e9c34 2023-09-13)
  • cargo 1.72.1 (103a7ff2e 2023-08-15)
  • clippy 0.1.72 (d5c2e9c 2023-09-13)