Suppress nighly safety_doc warning

This commit is contained in:
Michael Vines 2019-10-02 22:07:28 -07:00
parent 5aab2866e1
commit 586e0a67ef
No known key found for this signature in database
GPG Key ID: 33F4FDEC4E0E88BD
1 changed files with 1 additions and 1 deletions

View File

@ -36,7 +36,7 @@ _ ci/check-ssh-keys.sh
_ cargo +"$rust_stable" fmt -- --check
_ cargo +"$rust_nightly" test
_ cargo +"$rust_nightly" clippy --version
_ cargo +"$rust_nightly" clippy -- --deny=warnings
_ cargo +"$rust_nightly" clippy -- --deny=warnings --allow=clippy::missing_safety_doc
)
done
}