Skip to content

Commit

Permalink
Added MIRI test to CI
Browse files Browse the repository at this point in the history
  • Loading branch information
JRRudy1 committed Aug 26, 2024
1 parent 3bc0747 commit cac27dc
Showing 1 changed file with 28 additions and 1 deletion.
29 changes: 28 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ jobs:
- name: Checkout sources
uses: actions/checkout@v2

- name: Install stable toolchain
- name: Install toolchain
uses: actions-rs/toolchain@v1
with:
profile: minimal
Expand Down Expand Up @@ -50,6 +50,33 @@ jobs:
command: fmt
args: --all -- --check

miri:
name: Miri Test
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v2

- name: Install nightly toolchain
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: nightly
override: true
components: miri, rust-src

# - name: Build
# uses: actions-rs/cargo@v1
# with:
# command: build
# args: --all-features

- name: Miri Test
uses: actions-rs/cargo@v1
with:
command: miri
args: test --all-features

build-msrv:
name: Build MSRV
runs-on: ubuntu-latest
Expand Down

0 comments on commit cac27dc

Please sign in to comment.