Skip to content

Commit

Permalink
Config miri
Browse files Browse the repository at this point in the history
  • Loading branch information
avl committed Apr 28, 2024
1 parent 4ffb8d5 commit e33852c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,8 @@ jobs:
- uses: actions/checkout@v3
- name: Install nightly
run: rustup toolchain install nightly
- name: Miri (nightly)
run: rustup component add --toolchain nightly-x86_64-unknown-linux-gnu miri && cd savefile-test && cargo +nightly miri test
- name: Build (nightly)
run: cargo +nightly build --workspace
- name: Run tests (nightly)
Expand All @@ -32,6 +34,4 @@ jobs:
run: cargo +stable build -p savefile-min-build
- name: compile_tests (stable)
run: cd compile_tests && cargo +stable test
- name: Miri (nightly)
run: cd savefile-test && cargo +nightly miri test

0 comments on commit e33852c

Please sign in to comment.