summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorextrawurst <776816+extrawurst@users.noreply.github.com>2022-08-17 19:48:14 +0200
committerGitHub <noreply@github.com>2022-08-17 19:48:14 +0200
commit6630dca197c3757268be69cbe9dae74c36717cd8 (patch)
treefae03405a9bf629c3bae96712c661597a9a5c4d9 /Makefile
parentd4949a676b47e0240082a559360e6bb72e99dc73 (diff)
add cargo deny to CI (#1285)
* check duplicate dependencies * also use cargo-deny for licenses checking * also run cargo deny check in make check
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 83dd3ee9..b097d503 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,10 @@ clippy:
clippy-nightly:
cargo +nightly clippy --workspace --all-features
-check: fmt clippy test
+check: fmt clippy test deny
+
+deny:
+ cargo deny check
install:
cargo install --path "." --offline