about summary refs log tree commit diff
path: root/src/tools/miri/test-cargo-miri/run-test.py
AgeCommit message (Expand)AuthorLines
2025-07-31bless cargo miri doctest executionRalf Jung-1/+1
2025-05-17fix for doctest-xcompile stabilizationRalf Jung-11/+6
2025-04-04bump parts of test-cargo-miri to edition 2024Ralf Jung-13/+14
2025-04-03test-cargo-miri: permissive provenance should not be needed any moreRalf Jung-7/+2
2024-07-04Run tests for all specified targetsKonstantinos Andrikopoulos-2/+18
2024-05-29add tests for local crate detectionPaul Gey-0/+4
2024-05-09make RUSTC_BLESS entirely an internal thingRalf Jung-1/+2
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-4/+10
2024-05-01no longer strip `Preparing a sysroot` message from test outputPaul Gey-5/+1
2024-03-31python: fix regex backslash escapesRalf Jung-2/+2
2023-12-05remove unnecesary `-Zunstable-options`Weihang Lo-1/+1
2023-08-22respect CARGO_EXTRA_FLAGS in more placesRalf Jung-1/+3
2023-07-26Unite bless environment variables under `RUSTC_BLESS`Trevor Gross-2/+3
2023-06-16Apply changes to fix python linting errorsTrevor Gross-6/+14
2023-05-13cargo-miri: fix forwarding arguments to cargoRalf Jung-1/+2
2022-11-20make miri-seed a regular integer, and also set layout-seed in many-seedsRalf Jung-1/+1
2022-10-08bless cargo-miri outputRalf Jung-1/+4
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+192