Auto merge of #137594 - RalfJung:miri-sync, r=RalfJung #56583

Annotations

2 errors and 10 warnings

The job was canceled because "rust-lang-ci2_AKIA46X5_35" failed.

The operation was canceled.

Directory or file /usr/local/julia* does not exist, skipping.

Directory or file /usr/local/lib/android does not exist, skipping.

Directory or file /usr/local/share/chromedriver-* does not exist, skipping.

Directory or file /usr/local/share/chromium does not exist, skipping.

Directory or file /usr/local/share/edge_driver does not exist, skipping.

Directory or file /usr/share/gradle-* does not exist, skipping.

Directory or file /usr/share/miniconda does not exist, skipping.

Directory or file /usr/local/bin/bicep does not exist, skipping.

Directory or file /usr/local/bin/stack does not exist, skipping.

Directory or file /usr/local/.ghcup does not exist, skipping.