Skip to content

Merge pull request #42 from metaborg/env-only-element #291

Merge pull request #42 from metaborg/env-only-element

Merge pull request #42 from metaborg/env-only-element #291

GitHub Actions / clippy succeeded May 6, 2024 in 1s

clippy

Details

Results

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

Versions

  • rustc 1.80.0-nightly (9c9b56879 2024-05-05)
  • cargo 1.80.0-nightly (05364cb2f 2024-05-03)
  • clippy 0.1.80 (9c9b568 2024-05-05)