Miri check (#704)
* Added miri CI step * Updated miri triggers to match the other pipelines --------- Co-authored-by: Victor Koenders <git@trang.ar>
This commit is contained in:
parent
4dd792f5fa
commit
ff24b8a315
|
|
@ -0,0 +1,40 @@
|
|||
{
|
||||
"name": "miri",
|
||||
"on": [
|
||||
"push": {
|
||||
"branches": [
|
||||
"trunk",
|
||||
"v*.x",
|
||||
"ci/*"
|
||||
]
|
||||
},
|
||||
"pull_request": {
|
||||
"branches": [
|
||||
"trunk",
|
||||
"v*.x"
|
||||
]
|
||||
}
|
||||
],
|
||||
"jobs": {
|
||||
"miri": {
|
||||
"name": "MIRI",
|
||||
"runs-on": "ubuntu-latest",
|
||||
"steps": [
|
||||
{
|
||||
"uses": "actions/checkout@v2",
|
||||
"name": "Checkout"
|
||||
},
|
||||
{
|
||||
"run": "rustup toolchain install nightly --component miri \n
|
||||
rustup override set nightly \n
|
||||
cargo miri setup",
|
||||
"name": "Install Rust nightly"
|
||||
},
|
||||
{
|
||||
"run": "cargo miri test",
|
||||
"name": "Default features"
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
||||
Loading…
Reference in New Issue