diff --git a/azure-pipelines.yml b/azure-pipelines.yml index d7165f7b8..ba0b9da38 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -47,6 +47,7 @@ jobs: - template: ci/azure-miri.yml parameters: name: miri + rust: $(nightly) # Try cross compiling - template: ci/azure-cross-compile.yml diff --git a/ci/azure-miri.yml b/ci/azure-miri.yml index fb886edc7..05bc973b2 100644 --- a/ci/azure-miri.yml +++ b/ci/azure-miri.yml @@ -7,7 +7,7 @@ jobs: steps: - template: azure-install-rust.yml parameters: - rust_version: nightly + rust_version: ${{ parameters.rust }} - script: | rustup component add miri