ci: add miri task
This commit is contained in:
parent
db0ca693c6
commit
012a564265
1 changed files with 12 additions and 0 deletions
|
@ -322,6 +322,18 @@ cargo:doc:
|
|||
- cd target/doc
|
||||
- npx --yes netlify-cli deploy --prod --site="${CARGO_DOC_SITE_ID}" --dir=.
|
||||
|
||||
cargo:test:miri:
|
||||
stage: test
|
||||
rules:
|
||||
- if: $MIRI
|
||||
script:
|
||||
- export RUST_BACKTRACE=1
|
||||
- curl -LsSf https://get.nexte.st/latest/linux | tar zxf - -C /usr/local/cargo/bin
|
||||
- rustup default nightly
|
||||
- rustup component add miri
|
||||
- rustup update
|
||||
- MIRIFLAGS='-Zmiri-disable-isolation' cargo miri nextest run -j$(nproc --all)
|
||||
|
||||
renovate:
|
||||
stage: dependency
|
||||
image:
|
||||
|
|
Loading…
Reference in a new issue