diff --git a/.github/workflows/lints.yml b/.github/workflows/lints.yml index f87d32886..1014ba9a1 100644 --- a/.github/workflows/lints.yml +++ b/.github/workflows/lints.yml @@ -63,7 +63,7 @@ jobs: run: | cargo make --version || cargo install cargo-make - name: Check code format - run: cargo make fmt-all-check + run: cargo fmt --all --check - name: Run clippy env: diff --git a/Makefile.toml b/Makefile.toml index b9f231db4..8d6ab5edf 100644 --- a/Makefile.toml +++ b/Makefile.toml @@ -33,26 +33,11 @@ args = [ command = "cargo" workspace = false -[tasks.fmt-all-check] -args = ["fmt", "--all", "--", "--check"] -command = "cargo" -workspace = false - -[tasks.fmt-all] -args = ["fmt", "--all"] -command = "cargo" -workspace = false - [tasks.clippy-all] args = ["clippy", "--all-features", "--all-targets", "--", "-D", "warnings"] command = "cargo" workspace = false -[tasks.fmt] -args = ["fmt", "-p", "ceno_zkvm", "--", "--check"] -command = "cargo" -workspace = false - [tasks.riscv_stats] args = ["run", "--bin", "riscv_stats"] command = "cargo"