File tree Expand file tree Collapse file tree 2 files changed +21
-0
lines changed Expand file tree Collapse file tree 2 files changed +21
-0
lines changed Original file line number Diff line number Diff line change 50
50
required : false
51
51
default : true
52
52
description : Execute tests.
53
+ do-miri :
54
+ type : boolean
55
+ required : false
56
+ default : false
57
+ description : Execute unit tests with miri.
53
58
54
59
jobs :
55
60
rust :
@@ -104,3 +109,8 @@ jobs:
104
109
Expand-Archive .\cargo-nextest.zip
105
110
cp .\cargo-nextest/cargo-nextest.exe .
106
111
.\cargo-nextest.exe nextest run --features ${{ inputs.features }}
112
+ - name : Unit Test with Miri
113
+ if : inputs.do-miri
114
+ run : |
115
+ rustup component add miri
116
+ cargo miri run
Original file line number Diff line number Diff line change @@ -109,3 +109,14 @@ jobs:
109
109
do-style-check : true
110
110
do-test : false
111
111
features : unstable
112
+
113
+ miri :
114
+ name : tests with miri (nightly)
115
+ needs : build_nightly
116
+ uses : ./.github/workflows/_build-rust.yml
117
+ with :
118
+ rust-version : nightly
119
+ do-style-check : false
120
+ do-test : false
121
+ do-miri : true
122
+ features : unstable
You can’t perform that action at this time.
0 commit comments