diff options
Diffstat (limited to 'ci/azure-miri.yml')
-rw-r--r-- | ci/azure-miri.yml | 23 |
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 |