Merge branch 'ci-style'

Author: benma

.ci/check-style

@@ -39,8 +39,7 @@ if git --no-pager diff --diff-filter=d --name-only ${TARGET_BRANCH} HEAD | grep
 	exit 1
 fi
 
-RUST_SOURCES=$(git --no-pager diff --diff-filter=d --name-only ${TARGET_BRANCH} HEAD | grep -E "^src/rust.*\.rs\$" | grep -v -E "^src/rust/vendor" || true)
+RUST_SOURCES=$(git ls-files | grep "^src/rust.*\.rs\$" | grep -v "^src/rust/vendor" | grep -v "^src/rust/bitbox02-rust/src/shiftcrypto\.bitbox02\.rs$")
 if [ -n "$RUST_SOURCES" ] ; then
-        echo $RUST_SOURCES
 	"$RUSTFMT" --check $RUST_SOURCES
 fi