mirror of
https://github.com/tokio-rs/tokio.git
synced 2026-08-20 00:00:08 +02:00
Carl Lerche
a78b1c65cc
A refactor of the scheduler internals focusing on simplifying and reducing unsafety. There are no fundamental logic changes. * The state transitions of the core task component are refined and reduced. * `basic_scheduler` has most unsafety removed. * `local_set` has most unsafety removed. * `threaded_scheduler` limits most unsafety to its queue implementation.
24 lines
571 B
YAML
24 lines
571 B
YAML
jobs:
|
|
- job: ${{ parameters.name }}
|
|
displayName: Miri
|
|
pool:
|
|
vmImage: ubuntu-16.04
|
|
|
|
steps:
|
|
- template: azure-install-rust.yml
|
|
parameters:
|
|
rust_version: nightly
|
|
|
|
- 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
|