diff options
author | Alice Ryhl <alice@ryhl.io> | 2020-09-21 18:57:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-21 18:57:33 +0200 |
commit | 1ac10fa80aa847c68e376ebf9ef4e2be891e41d3 (patch) | |
tree | 8491cb95031672731eb59d57860ebcffc11d086d /.github | |
parent | ba8680d66773677f201a26b756e41e9a16b458fe (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.yml | 4 |
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: |