Disable Miri isolation in CI
continuous-integration/drone/push Build is passing
Details
continuous-integration/drone/push Build is passing
Details
This commit is contained in:
parent
9e1f8aa50f
commit
94403e2ca1
|
@ -16,6 +16,8 @@ steps:
|
||||||
- test-debug-linux
|
- test-debug-linux
|
||||||
- name: test-miri-release-linux
|
- name: test-miri-release-linux
|
||||||
image: deukhoofd/linux64builder
|
image: deukhoofd/linux64builder
|
||||||
|
environment:
|
||||||
|
MIRIFLAGS: -Zmiri-disable-isolation
|
||||||
commands:
|
commands:
|
||||||
- cargo miri test --release --color=always
|
- cargo miri test --release --color=always
|
||||||
depends_on:
|
depends_on:
|
||||||
|
|
Loading…
Reference in New Issue