Skip to content

Commit c8a8721

Browse files
nicholasbishopGabrielMajeri
authored andcommitted
ci: add miri job
1 parent 1633903 commit c8a8721

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed

.github/workflows/rust.yml

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -157,6 +157,23 @@ jobs:
157157
- name: Run cargo doc
158158
run: cargo xtask doc --warnings-as-errors
159159

160+
miri:
161+
name: Run unit tests and doctests under Miri
162+
runs-on: ubuntu-latest
163+
steps:
164+
- name: Checkout sources
165+
uses: actions/checkout@v2
166+
167+
- name: Install latest nightly toolchain that includes Miri
168+
uses: actions-rs/toolchain@v1
169+
with:
170+
profile: minimal
171+
toolchain: nightly
172+
components: miri
173+
174+
- name: Run miri
175+
run: cargo xtask miri
176+
160177
# This job tests that the template app builds successfully with the
161178
# released versions of the libraries on crates.io.
162179
#

0 commit comments

Comments
 (0)