ci: update miri flags (#2851)

* ci: update miri flags * Update 2020-09-20 to 2020-09-21 Co-authored-by: Taiki Endo <te316e89@gmail.com> Co-authored-by: Taiki Endo <te316e89@gmail.com>
tokio-rs · Sep 21, 2020 · 1ac10fa · 1ac10fa
1 parent ba8680d
commit 1ac10fa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,7 +9,7 @@ name: CI
 env:
   RUSTFLAGS: -Dwarnings
   RUST_BACKTRACE: 1
-  nightly: nightly-2020-07-12
+  nightly: nightly-2020-09-21
   minrust: 1.45.2
 
 jobs:
@@ -110,7 +110,7 @@ jobs:
           rm -rf tokio/tests
 
       - name: miri
-        run: cargo miri test --features rt-core,rt-threaded,rt-util,sync -- -- task
+        run: cargo miri test --features rt-core,rt-threaded,rt-util,sync task
         working-directory: tokio
 
   cross: