Skip to content

Rollup of 10 pull requests #129516

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 20 commits into from
Closed
Changes from 2 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
8b642a1
make writes_through_immutable_pointer a hard error
RalfJung Aug 17, 2024
b8eedfa
Retroactively feature gate `ConstArgKind::Path`
BoxyUwU Aug 19, 2024
a5f6c15
Pin `cc` to 1.0.105
tgross35 Aug 20, 2024
4325ac9
Implement `ptr::fn_addr_eq`
Urgau Aug 20, 2024
ebfa3e3
stabilize const_fn_floating_point_arithmetic
RalfJung Aug 3, 2024
378902e
remove invalid `TyCompat` relation for effects
fee1-dead Aug 24, 2024
ec0e16a
panicking: improve hint for Miri's RUST_BACKTRACE behavior
RalfJung Aug 24, 2024
493cf6a
interpret: ImmTy: tighten sanity checks in offset logic
RalfJung Aug 24, 2024
b267457
Add a hack to workaround MSVC CI issues
ChrisDenton Aug 24, 2024
53ce927
Fix `elided_named_lifetimes` in code
GrigorenkoPV Aug 22, 2024
4a8d464
Rollup merge of #128596 - RalfJung:const_fn_floating_point_arithmetic…
matthiaskrgr Aug 24, 2024
5bca6e2
Rollup merge of #129199 - RalfJung:writes_through_immutable_pointer, …
matthiaskrgr Aug 24, 2024
5a24dd4
Rollup merge of #129246 - BoxyUwU:feature_gate_const_arg_path, r=cjgi…
matthiaskrgr Aug 24, 2024
88edf31
Rollup merge of #129290 - tgross35:pin-cc, r=Mark-Simulacrum
matthiaskrgr Aug 24, 2024
98c7583
Rollup merge of #129323 - Urgau:ptr_fn_addr_eq, r=Mark-Simulacrum
matthiaskrgr Aug 24, 2024
f87349f
Rollup merge of #129500 - fee1-dead-contrib:fxrel, r=compiler-errors
matthiaskrgr Aug 24, 2024
6f5f01a
Rollup merge of #129501 - RalfJung:miri-rust-backtrace, r=Noratrieb
matthiaskrgr Aug 24, 2024
a0108d8
Rollup merge of #129505 - RalfJung:imm-ty-offset, r=davidtwco
matthiaskrgr Aug 24, 2024
64a11c5
Rollup merge of #129509 - ChrisDenton:hack-hack-hack, r=Mark-Simulacrum
matthiaskrgr Aug 24, 2024
000d070
Rollup merge of #129510 - GrigorenkoPV:fix-elided-named-lifetimes, r=…
matthiaskrgr Aug 24, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,17 @@ case $HOST_TARGET in
python3 "$X_PY" test --stage 2 src/tools/miri --target s390x-unknown-linux-gnu --test-args pass
;;
x86_64-pc-windows-msvc)
# FIXME: This will rebuild miri because it's being built without the miri flags above.
# However, for some reason rebuilding is very likely to fail at the final stage when
# Cargo overwrites the existing hardlinks.
# So we introduce a pause here in the hope it fixes itself and display a list of process for
# diagnotistic purposes.
ps -W || true
echo "HACK: sleeping for 5 minutes"
sleep 5m
# Show the process list again in case the changes are interesting.
ps -W || true

# Strangely, Linux targets do not work here. cargo always says
# "error: cannot produce cdylib for ... as the target ... does not support these crate types".
# Only run "pass" tests, which is quite a bit faster.
Expand Down