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 /azure-pipelines.yml | |
parent | 18833a8e6709c3489ea8f401f1a9d9a28ae20226 (diff) |
chore: change default lint level to warning and deny warnings in CI (#1416)
Diffstat (limited to 'azure-pipelines.yml')
-rw-r--r-- | azure-pipelines.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 22cd40e1..6e945985 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -3,6 +3,7 @@ pr: ["master", "std-future"] variables: nightly: nightly-2019-07-17 + RUSTFLAGS: -Dwarnings jobs: # Check formatting |