about summary refs log tree commit diff
path: root/src/tools/miri/miri.bat
AgeCommit message (Expand)AuthorLines
2025-06-29make ./miri work on stable againRalf Jung-2/+2
2024-09-06miri.bat: use nightly toolchainRalf Jung-2/+2
2024-06-27Switch to the explicit parens versionCharlie Gettys-1/+1
2024-06-27Fix miri.batCharlie Gettys-1/+1
2024-06-22nicer batch file error when building miri-script failsRoss Smyth-1/+2
2024-03-24miri script: build with stable toolchainRalf Jung-1/+1
2024-02-26Fix miri.bat not bailing early on errorRoss Smyth-1/+4
2024-02-24Windows miri-script execution egronomicsRoss Smyth-0/+10