Skip to content

Merge pull request #50 from metaborg/test-records #368

Merge pull request #50 from metaborg/test-records

Merge pull request #50 from metaborg/test-records #368

GitHub Actions / clippy succeeded May 27, 2024 in 0s

clippy

Details

Results

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

Versions

  • rustc 1.80.0-nightly (bdbbb6c6a 2024-05-26)
  • cargo 1.80.0-nightly (a8d72c675 2024-05-24)
  • clippy 0.1.80 (bdbbb6c 2024-05-26)