Test benchmarks in GitHub CI

This commit is contained in:
Héctor Ramón Jiménez 2024-04-07 08:52:28 +02:00
parent 6771672087
commit 68056f8ca4
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
2 changed files with 4 additions and 4 deletions

View file

@ -1,6 +1,6 @@
[alias]
lint = """
clippy --workspace --no-deps -- \
clippy --workspace --benches --no-deps -- \
-D warnings \
-A clippy::type_complexity \
-D clippy::semicolon_if_nothing_returned \
@ -18,7 +18,7 @@ clippy --workspace --no-deps -- \
"""
nitpick = """
clippy --workspace --no-deps -- \
clippy --workspace --benches --no-deps -- \
-D warnings \
-D clippy::pedantic \
-A clippy::type_complexity \