Skip to content

Commit

Permalink
Miri check (#704)
Browse files Browse the repository at this point in the history
* Added miri CI step

* Updated miri triggers to match the other pipelines

---------

Co-authored-by: Victor Koenders <git@trang.ar>
  • Loading branch information
VictorKoenders and Victor Koenders committed May 1, 2024
1 parent 8f65c60 commit 4299f6d
Showing 1 changed file with 40 additions and 0 deletions.
40 changes: 40 additions & 0 deletions .github/workflows/miri.yml
Original file line number Diff line number Diff line change
@@ -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"
}
]
}
}
}

0 comments on commit 4299f6d

Please sign in to comment.