summaryrefslogtreecommitdiffstats
path: root/ci/azure-miri.yml
diff options
context:
space:
mode:
Diffstat (limited to 'ci/azure-miri.yml')
-rw-r--r--ci/azure-miri.yml23
1 files changed, 0 insertions, 23 deletions
diff --git a/ci/azure-miri.yml b/ci/azure-miri.yml
deleted file mode 100644
index 05bc973b..00000000
--- a/ci/azure-miri.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-jobs:
-- job: ${{ parameters.name }}
- displayName: Miri
- pool:
- vmImage: ubuntu-16.04
-
- steps:
- - template: azure-install-rust.yml
- parameters:
- rust_version: ${{ parameters.rust }}
-
- - script: |
- rustup component add miri
- cargo miri setup
- rm -rf $(Build.SourcesDirectory)/tokio/tests
- displayName: Install miri
-
- # TODO: enable all tests once they pass
- - script: cargo miri test --features rt-core,rt-threaded,rt-util,sync -- -- task
- env:
- CI: 'True'
- displayName: cargo miri test
- workingDirectory: $(Build.SourcesDirectory)/tokio