-
-
Notifications
You must be signed in to change notification settings - Fork 0
41 lines (38 loc) · 824 Bytes
/
miri.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
name: Miri
on:
push:
branches:
- main
pull_request:
branches:
- "**"
env:
CARGO_TERM_COLOR: always
jobs:
test:
timeout-minutes: 5
strategy:
matrix:
rust_version:
- nightly
os:
- ubuntu-latest
- windows-latest
- macos-latest
runs-on: ${{ matrix.os }}
steps:
- name: Checkout
uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
with:
toolchain: ${{ matrix.rust_version }}
- name: Set up cargo cache
uses: Swatinem/rust-cache@v2
with:
prefix-key: ${{ runner.os }}-cargo
workspaces: >
. -> target
- name: Install Miri
run: rustup component add miri
- name: Run Miri
run: cargo miri test