diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 64abfdb19..0e6091e96 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -192,3 +192,14 @@ jobs: - name: Install Rust run: rustup update 1.40.0 && rustup default 1.40.0 - run: cargo build + + miri: + name: Miri + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + with: + submodules: true + - name: Install Rust + run: ./ci/miri-rustup.rs + - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test diff --git a/ci/miri-rustup.sh b/ci/miri-rustup.sh new file mode 100755 index 000000000..64b3efa14 --- /dev/null +++ b/ci/miri-rustup.sh @@ -0,0 +1,7 @@ +set -ex + +MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) +echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" +rustup set profile minimal +rustup default "$MIRI_NIGHTLY" +rustup component add miri