diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d33e744247..7b9baab5de 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -328,10 +328,12 @@ cargo:test:miri: - if: $MIRI script: - export RUST_BACKTRACE=1 + - export CARGO_TARGET_DIR='ci/target-miri' + - export MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) - curl -LsSf https://get.nexte.st/latest/linux | tar zxf - -C /usr/local/cargo/bin - - rustup default nightly + - rustup set profile minimal + - rustup override set "${MIRI_NIGHTLY}" - rustup component add miri - - rustup update - MIRIFLAGS='-Zmiri-disable-isolation' cargo miri nextest run -j$(nproc --all) renovate: diff --git a/ci/.gitignore b/ci/.gitignore index 5546ffea79..1e50174ff5 100644 --- a/ci/.gitignore +++ b/ci/.gitignore @@ -1 +1,2 @@ target-msrv/ +target-miri/