about summary refs log tree commit diff
path: root/src/tools/miri/miri-script
AgeCommit message (Expand)AuthorLines
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
2023-08-02miri-script: simplify flag computation a bitRalf Jung-12/+12
2023-07-31port to hand-rolled parser, since clap doesn't behave just the right wayRalf Jung-354/+150
2023-07-31miri-script refactorRalf Jung-608/+543
2023-07-30rewrite miri script in RustPiotr Osiewicz-0/+1273