summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorAlice Ryhl <alice@ryhl.io>2020-09-21 18:57:33 +0200
committerGitHub <noreply@github.com>2020-09-21 18:57:33 +0200
commit1ac10fa80aa847c68e376ebf9ef4e2be891e41d3 (patch)
tree8491cb95031672731eb59d57860ebcffc11d086d /.github
parentba8680d66773677f201a26b756e41e9a16b458fe (diff)
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>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a2ae44af..61244f90 100644
--- 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: