Skip to content

make LocalTxProver fields private #113

make LocalTxProver fields private

make LocalTxProver fields private #113

GitHub Actions / Clippy (1.51.0) succeeded Nov 2, 2023 in 0s

Clippy (1.51.0)

Details

Results

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

Versions

  • rustc 1.51.0 (2fd73fabe 2021-03-23)
  • cargo 1.51.0 (43b129a20 2021-03-16)
  • clippy 0.1.51 (2fd73fa 2021-03-23)