about summary refs log tree commit diff
path: root/src/tools/miri/miri-script
AgeCommit message (Expand)AuthorLines
2024-05-26fix './miri run --dep --target _'Ralf Jung-1/+7
2024-05-19Rollup merge of #125286 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-161/+264
2024-05-19use a little arg-parsing helper for miri-scriptRalf Jung-146/+258
2024-05-19properly print error in 'cargo miri setup --print-sysroot'Ralf Jung-16/+7
2024-05-18Fix typos (taking into account review comments)blyxyas-1/+1
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-68/+90
2024-05-09minor tweaksRalf Jung-6/+4
2024-05-08Allow test targets to be set via CLI argsRoss Smyth-23/+75
2024-05-04rustc_pull: explain order of operationsRalf Jung-0/+2
2024-05-04make many-seeds a mode of ./miri run rather than a separate commandRalf Jung-80/+128
2024-05-03./miri run: support -v flag to print what it is doingRalf Jung-24/+29
2024-04-27josh rustc-pull: check that no new root commits get createdRalf Jung-0/+14
2024-04-24make miri-script a workspace rootRalf Jung-1/+3
2024-04-08set --sysroot outside the driver rather than messing with the arguments passe...Ralf Jung-7/+11
2024-03-31update josh version and guidanceRalf Jung-1/+1
2024-03-26run command: simplify flag computationRalf Jung-10/+13
2024-03-24miri-script/toolchain: make new_commit logic easier to followRalf Jung-3/+3
2024-03-24many-seeds: propagate failure properlyRalf Jung-2/+2
2024-03-09rename tests/compiletest → tests/uiRalf Jung-2/+2
2024-03-03nits and typosRalf Jung-3/+4
2024-03-02Fix .\miri fmt on WindowsRoss Smyth-30/+63
2024-02-26./miri many-seeds: support MIRI_SEED_END to control the end of the tried seed...Ralf Jung-7/+14
2024-02-23cargo updateRalf Jung-50/+50
2024-01-06cargo updateRalf Jung-68/+125
2024-01-06./miri build: also build tests, to avoid rebuilds laterRalf Jung-1/+3
2023-12-18Auto merge of #3221 - RalfJung:edition, r=RalfJungbors-3/+12
2023-12-17rustc-push: automatically fill PR body to avoid reviewer assignmentRalf Jung-1/+1
2023-12-10./miri run: default to edition 2021Ralf Jung-3/+12
2023-12-05Fix formattingIgor Matuszewski-1/+3
2023-12-05Don't explicitly warn against `semicolon_in_expressions_from_macros`Igor Matuszewski-1/+1
2023-11-18miri script: fix RUSTC_GIT error messageRalf Jung-1/+1
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /miri-scriptdependabot[bot]-2/+2
2023-10-05Auto merge of #3107 - eduardosm:update-deps, r=RalfJungbors-41/+179
2023-10-05Update miri-script dependenciesEduardo Sánchez Muñoz-41/+179
2023-10-04miri-script: print which sysroot target we are buildingRalf Jung-1/+4
2023-09-16triagebot exclude_labels -> exclude_titlesPeter Jaszkowiak-2/+2
2023-09-11add subtree-sync label to rustc update PRsPeter Jaszkowiak-1/+5
2023-09-06give josh more time to startRalf Jung-2/+2
2023-09-01add '--skip-children' to rustfmt invocationRalf Jung-1/+1
2023-08-22Auto merge of #3036 - RalfJung:josh-autostart, r=RalfJungbors-4/+196
2023-08-22miri-script: start and stop josh automaticallyRalf Jung-3/+194
2023-08-22make sure './miri many-seeds ./miri run' does not re-invoke the auto-opsRalf Jung-1/+2
2023-08-22respect CARGO_EXTRA_FLAGS in more placesRalf Jung-1/+3
2023-08-21fix MIRI_AUTO_OPS not having an effect any moreRalf Jung-0/+6
2023-08-06rustc-pull: put a newline after the commit IDRalf Jung-1/+1
2023-08-04Auto merge of #3011 - saethlin:spellck, r=RalfJungbors-1/+1
2023-08-03A bit of spell-checkingBen Kimock-1/+1
2023-08-03Avoid infinite recursion for auto-fmt and auto-clippyOli Scherer-9/+16
2023-08-02fix miri-script being silent when running './miri test'Ralf Jung-8/+14
2023-08-02no need to forward all env varsRalf Jung-17/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 01:39:38 +0000