diff options
author | Taiki Endo <te316e89@gmail.com> | 2019-08-10 00:07:57 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-10 00:07:57 +0900 |
commit | 73102760cfe1632b6b8073dfa5a506c0e69e4b5e (patch) | |
tree | 3feb237f1c3efd796b92e623dec28181acdbf691 /tokio-signal/examples/multiple.rs | |
parent | 18833a8e6709c3489ea8f401f1a9d9a28ae20226 (diff) |
chore: change default lint level to warning and deny warnings in CI (#1416)
Diffstat (limited to 'tokio-signal/examples/multiple.rs')
-rw-r--r-- | tokio-signal/examples/multiple.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tokio-signal/examples/multiple.rs b/tokio-signal/examples/multiple.rs index 996af50d..c1ba96c2 100644 --- a/tokio-signal/examples/multiple.rs +++ b/tokio-signal/examples/multiple.rs @@ -1,4 +1,4 @@ -#![deny(warnings, rust_2018_idioms)] +#![warn(rust_2018_idioms)] #![feature(async_await)] //! A small example of how to listen for two signals at the same time |