Skip to content

chore(docs): add banner to docs #1336

chore(docs): add banner to docs

chore(docs): add banner to docs #1336

GitHub Actions / clippy succeeded Sep 27, 2023 in 0s

clippy

Details

Results

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

Versions

  • rustc 1.71.0 (8ede3aae2 2023-07-12)
  • cargo 1.71.0 (cfd3bbd8f 2023-06-08)
  • clippy 0.1.71 (8ede3aa 2023-07-12)