Skip to content

Enable pedantic clippy on CI#147

Merged
josecelano merged 3 commits intotorrust:developfrom josecelano:pedantic-clippyMay 15, 2023

Commits

Commits on May 10, 2023

Commits on May 15, 2023