File tree Expand file tree Collapse file tree 2 files changed +12
-1
lines changed Expand file tree Collapse file tree 2 files changed +12
-1
lines changed Original file line number Diff line number Diff line change 3535 rustup toolchain install ${RUST_VERSION}
3636 rustup override set ${RUST_VERSION}
3737 rustup component add rustfmt clippy
38+ rustup component add miri
3839 - name : Setup Rust toolchain according to rust-toolchain.toml
3940 shell : bash
4041 if : ${{ inputs.rust-version == '' }}
4546 - name : Fixup git permissions
4647 # https://github.com/actions/checkout/issues/766
4748 shell : bash
48- run : git config --global --add safe.directory "$GITHUB_WORKSPACE"
49+ run : git config --global --add safe.directory "$GITHUB_WORKSPACE"
Original file line number Diff line number Diff line change @@ -160,3 +160,13 @@ jobs:
160160 - name : Check MSRV
161161 run : |
162162 cargo +${{ env.rust_msrv }} check --locked --workspace
163+
164+ miri :
165+ name : Run Miri
166+ runs-on : ubuntu-latest
167+ steps :
168+ - uses : actions/checkout@v4
169+ - name : Setup Nightly Rust toolchain
170+ uses : ./.github/actions/setup-builder
171+ - name : Run Miri
172+ run : cargo miri test
You can’t perform that action at this time.
0 commit comments