index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
tools
/
miri
/
miri-script
Age
Commit message (
Expand
)
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
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
2023-10-05
Auto merge of #3107 - eduardosm:update-deps, r=RalfJung
bors
-41
/
+179
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
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
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