Skip to content

Rollup of 6 pull requests #123473

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.

Sign up for GitHub

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
matthiaskrgr wants to merge 19 commits into from
Closed

Rollup of 6 pull requests #123473

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
f37a4d5
Implement "&<pat> everywhere"
Jules-Bertholet Mar 30, 2024
b390f2f
set miri sysroots inside Cargo::new
RalfJung Apr 1, 2024
9d200f2
Address review comments
Jules-Bertholet Apr 2, 2024
a6803b9
add 'x.py miri', and make it work for 'library/{core,alloc,std}'
RalfJung Apr 1, 2024
e5376f3
Address final nits
Jules-Bertholet Apr 4, 2024
d99c775
unconstrained `NormalizesTo` term for opaques
lcnr Apr 2, 2024
ecc714d
fix parsing the test harness JSON when time could not be measured
RalfJung Mar 29, 2024
9e35555
smoke-test 'x.py test --miri' on CI
RalfJung Mar 30, 2024
c2e4916
adjust frame_in_std to recognize std tests
RalfJung Apr 2, 2024
92b280c
normalizes-to change from '1' to '0 to inf' steps
lcnr Apr 2, 2024
17475de
hir: Use `ItemLocalId` in a couple more places
petrochenkov Apr 4, 2024
612acf8
rustdoc prioritise cargo doc: suggestions applied
harryhanYuhao Apr 4, 2024
6f17b7f
Rename HAS_PROJECTIONS to HAS_ALIASES etc.
fmease Apr 4, 2024
086c8a0
Rollup merge of #123311 - Jules-Bertholet:andpat-everywhere, r=Nadrieril
matthiaskrgr Apr 4, 2024
a728b19
Rollup merge of #123317 - RalfJung:test-in-miri, r=m-ou-se,saethlin,o…
matthiaskrgr Apr 4, 2024
207b313
Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwU
matthiaskrgr Apr 4, 2024
8680f7e
Rollup merge of #123417 - harryhanYuhao:master, r=GuillaumeGomez
matthiaskrgr Apr 4, 2024
d290a72
Rollup merge of #123454 - petrochenkov:zeroindex2, r=fmease
matthiaskrgr Apr 4, 2024
7dcc1da
Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compil…
matthiaskrgr Apr 4, 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
Prev Previous commit
Next Next commit
smoke-test 'x.py test --miri' on CI
  • Loading branch information
@RalfJung
RalfJung committed Apr 4, 2024
commit 9e35555474a40d20ebe8d29da56f2d715af21cdd
5 changes: 5 additions & 0 deletions src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -62,3 +62,8 @@ case $HOST_TARGET in
exit 1
;;
esac
# Also smoke-test `x.py miri`. This doesn't run any actual tests (that would take too long),
# but it ensures that the crates build properly when tested with Miri.
python3 "$X_PY" miri --stage 2 library/core --test-args notest
python3 "$X_PY" miri --stage 2 library/alloc --test-args notest
python3 "$X_PY" miri --stage 2 library/std --test-args notest