diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml new file mode 100644 index 00000000..01a147e4 --- /dev/null +++ b/.github/workflows/miri.yml @@ -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" + } + ] + } + } +}