ci/azure-miri.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

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