Skip to content

Commit a47d6bd

Browse files
committed
[eclipse-iceoryx#60]: integrate miri in ci
Allow CI failures for now
1 parent 5f2174a commit a47d6bd

File tree

1 file changed

+24
-0
lines changed

1 file changed

+24
-0
lines changed

.github/workflows/miri-check.yml

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
ame: Miri
2+
3+
on:
4+
push:
5+
branches: [ main ]
6+
pull_request:
7+
branches: [ main, release* ]
8+
9+
jobs:
10+
miri:
11+
name: "Miri"
12+
runs-on: ubuntu-latest
13+
# todo: disable it after all files could pass the miri check
14+
continue-on-error: true
15+
steps:
16+
- uses: actions/checkout@v4
17+
- name: Install Miri
18+
run: |
19+
rustup toolchain install nightly --component miri
20+
rustup override set nightly
21+
cargo miri setup
22+
- name: Test with Miri
23+
run: cargo miri test
24+

0 commit comments

Comments
 (0)