From 50164c003f43bb4f4dd5fec8a9f2c2492a8f45cd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sosth=C3=A8ne=20Gu=C3=A9don?= Date: Thu, 16 Feb 2023 11:05:36 +0100 Subject: [PATCH] Rename check to lint --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7640ca42..d00cba51 100644 --- a/Makefile +++ b/Makefile @@ -14,6 +14,10 @@ FUZZ_DURATION?="0" .PHONY: check check: cargo check --all-features --all-targets --workspace + +.PHONY: lint +lint: + RUSTFLAGS='-Dwarnings' cargo check --all-features --all-targets --workspace cargo check --no-default-features --all-targets cargo clippy --all-features --all-targets -- --deny warnings cargo fmt -- --check @@ -57,7 +61,7 @@ tarpaulin: cargo tarpaulin --features virtual,rsa4096-gen -o Html -o Xml .PHONY: ci -ci: check tarpaulin +ci: lint tarpaulin .PHONY: clean clean: