deprecate -Zmiri-disable-abi-check #5810
Triggered via pull request
September 21, 2023 06:02
RalfJung
Status
Failure
Total duration
14m 22s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
Matrix: build
style checks
1m 37s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s
Annotations
6 errors
|
actual output differs from expected:
tests/pass/function_calls/disable_abi_check.rs#L1
```diff
1 unchanged lines skipped
+WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.
+If you have a use-case for it, please file an issue.
+
```
|
|
build (ubuntu-latest, x86_64-unknown-linux-gnu)
Process completed with exit code 1.
|
|
actual output differs from expected:
tests/pass/function_calls/disable_abi_check.rs#L1
```diff
1 unchanged lines skipped
+WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.
+If you have a use-case for it, please file an issue.
+
```
|
|
build (macos-latest, x86_64-apple-darwin)
Process completed with exit code 1.
|
|
actual output differs from expected:
tests/pass/function_calls/disable_abi_check.rs#L1
```diff
1 unchanged lines skipped
+WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.
+If you have a use-case for it, please file an issue.
+
```
|
|
build (windows-latest, i686-pc-windows-msvc)
Process completed with exit code 1.
|