remove miri from ci

This commit is contained in:
Lucas 2021-10-01 13:55:36 +02:00
parent ddb618f0d9
commit 1c31d3835f
1 changed files with 0 additions and 16 deletions

View File

@ -50,19 +50,3 @@ jobs:
with:
command: fmt
args: --all -- --check
miri:
name: miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Install Miri
run: |
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
- uses: Swatinem/rust-cache@v1
- name: Run Tests
run: cargo miri test