Merge pull request #227 from poanetwork/mbr-disable-clippy

Temporarily disable clippy.
This commit is contained in:
Vladimir Komendantskiy 2018-09-11 16:53:23 +01:00 committed by GitHub
commit 3c8ea407a2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 4 deletions

View File

@ -34,9 +34,10 @@ env:
- RUST_NEXT=beta
- MLOCK_SECRETS=false
script:
- cargo +${RUST_NEXT} clippy -- --deny clippy
- cargo +${RUST_NEXT} clippy --tests --examples -- --deny clippy
- cargo +${RUST_NEXT} clippy --all-features -- --deny clippy
- cargo +${RUST_NEXT} clippy --all-features --tests -- --deny clippy
# Clippy is disabled until the switch to stable.
# - cargo +${RUST_NEXT} clippy -- --deny clippy
# - cargo +${RUST_NEXT} clippy --tests --examples -- --deny clippy
# - cargo +${RUST_NEXT} clippy --all-features -- --deny clippy
# - cargo +${RUST_NEXT} clippy --all-features --tests -- --deny clippy
- cargo +${RUST_NEXT} fmt -- --check
- cargo test --all-features --release -- --test-threads 1