Skip to content
This repository has been archived by the owner on Dec 2, 2023. It is now read-only.

build: add Clippy as a pre-push hook #12

Merged
merged 1 commit into from
Jul 13, 2023

build: add Clippy as a pre-push hook

b885c94
Select commit
Failed to load commit list.
Merged

build: add Clippy as a pre-push hook #12

build: add Clippy as a pre-push hook
b885c94
Select commit
Failed to load commit list.

Select a check to view from the sidebar