Skip to content

tell people how to set miri flags #7842

tell people how to set miri flags

tell people how to set miri flags #7842

Triggered via pull request June 17, 2024 10:30
Status Failure
Total duration 17m 24s
Artifacts

ci.yml

on: pull_request
Matrix: build
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in

Annotations

6 errors
actual output differs from expected: tests/fail/memleak_rc.32bit.stderr#L23
this line was expected to be `note: set `MIRIFLAGS=-Zmiri-ignore-leaks` to disable this check`
build (windows-latest, i686-pc-windows-msvc)
Process completed with exit code 1.
actual output differs from expected: tests/fail/memleak_rc.32bit.stderr#L23
this line was expected to be `note: set `MIRIFLAGS=-Zmiri-ignore-leaks` to disable this check`
build (macos-14, aarch64-apple-darwin)
Process completed with exit code 1.
actual output differs from expected: tests/fail/memleak_rc.32bit.stderr#L23
this line was expected to be `note: set `MIRIFLAGS=-Zmiri-ignore-leaks` to disable this check`
build (ubuntu-latest, x86_64-unknown-linux-gnu)
Process completed with exit code 1.