| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-29 | make ./miri work on stable again | Ralf Jung | -2/+2 |
| 2024-09-06 | miri.bat: use nightly toolchain | Ralf Jung | -2/+2 |
| 2024-06-27 | Switch to the explicit parens version | Charlie Gettys | -1/+1 |
| 2024-06-27 | Fix miri.bat | Charlie Gettys | -1/+1 |
| 2024-06-22 | nicer batch file error when building miri-script fails | Ross Smyth | -1/+2 |
| 2024-03-24 | miri script: build with stable toolchain | Ralf Jung | -1/+1 |
| 2024-02-26 | Fix miri.bat not bailing early on error | Ross Smyth | -1/+4 |
| 2024-02-24 | Windows miri-script execution egronomics | Ross Smyth | -0/+10 |
