| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-05 | Fix formatting | Igor Matuszewski | -1/+3 | |
| 2023-12-05 | Don'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-18 | miri script: fix RUSTC_GIT error message | Ralf Jung | -1/+1 | |
| 2023-10-18 | Bump rustix from 0.38.17 to 0.38.19 in /miri-script | dependabot[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-05 | Auto merge of #3107 - eduardosm:update-deps, r=RalfJung | bors | -41/+179 | |
| Update dependencies | ||||
| 2023-10-05 | Update miri-script dependencies | Eduardo Sánchez Muñoz | -41/+179 | |
| 2023-10-04 | miri-script: print which sysroot target we are building | Ralf Jung | -1/+4 | |
| 2023-09-16 | triagebot exclude_labels -> exclude_titles | Peter Jaszkowiak | -2/+2 | |
| 2023-09-11 | add subtree-sync label to rustc update PRs | Peter Jaszkowiak | -1/+5 | |
| 2023-09-06 | give josh more time to start | Ralf Jung | -2/+2 | |
| 2023-09-01 | add '--skip-children' to rustfmt invocation | Ralf Jung | -1/+1 | |
| 2023-08-22 | Auto merge of #3036 - RalfJung:josh-autostart, r=RalfJung | bors | -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-22 | miri-script: start and stop josh automatically | Ralf Jung | -3/+194 | |
| 2023-08-22 | make sure './miri many-seeds ./miri run' does not re-invoke the auto-ops | Ralf Jung | -1/+2 | |
| 2023-08-22 | respect CARGO_EXTRA_FLAGS in more places | Ralf Jung | -1/+3 | |
| 2023-08-21 | fix MIRI_AUTO_OPS not having an effect any more | Ralf Jung | -0/+6 | |
| 2023-08-06 | rustc-pull: put a newline after the commit ID | Ralf Jung | -1/+1 | |
| 2023-08-04 | Auto merge of #3011 - saethlin:spellck, r=RalfJung | bors | -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-03 | A bit of spell-checking | Ben Kimock | -1/+1 | |
| 2023-08-03 | Avoid infinite recursion for auto-fmt and auto-clippy | Oli Scherer | -9/+16 | |
| 2023-08-02 | fix miri-script being silent when running './miri test' | Ralf Jung | -8/+14 | |
| 2023-08-02 | no need to forward all env vars | Ralf Jung | -17/+8 | |
| 2023-08-02 | miri-script: simplify flag computation a bit | Ralf Jung | -12/+12 | |
| 2023-07-31 | port to hand-rolled parser, since clap doesn't behave just the right way | Ralf Jung | -354/+150 | |
| 2023-07-31 | miri-script refactor | Ralf Jung | -608/+543 | |
| 2023-07-30 | rewrite miri script in Rust | Piotr Osiewicz | -0/+1273 | |
