Skip to content

ci: fail on clippy warnings#87

Merged
daviddrysdale merged 1 commit intogoogle:mainfrom daviddrysdale:clippy-failJan 15, 2024
+1-1

Commits

Commits on Jan 13, 2024