about summary refs log tree commit diff
path: root/src/tools/miri/miri-script
AgeCommit message (Collapse)AuthorLines
2023-12-05Fix formattingIgor Matuszewski-1/+3
2023-12-05Don't explicitly warn against `semicolon_in_expressions_from_macros`Igor Matuszewski-1/+1
This warns-by-default since 2 years and already has been added to the future-incompat group since Rust 1.68. See https://github.com/rust-lang/rust/issues/79813 for the tracking issue.
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
Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.38.17 to 0.38.19. - [Release notes](https://github.com/bytecodealliance/rustix/releases) - [Commits](https://github.com/bytecodealliance/rustix/compare/v0.38.17...v0.38.19) --- updated-dependencies: - dependency-name: rustix dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-05Auto merge of #3107 - eduardosm:update-deps, r=RalfJungbors-41/+179
Update dependencies
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
automatically start and stop josh in rustc-pull/push Let's make use of the fact that this is not a shell script any more. :)
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
A bit of spell-checking I noticed the one error in miri-script and took care of a few more shallow ones.
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