summary refs log tree commit diff
path: root/src/tools/miri/ci.sh
AgeCommit message (Expand)AuthorLines
2023-01-05Test again wasm32-unknown-unknownAaron Hill-1/+2
2022-12-28no need to do a no_std build for wasiRalf Jung-1/+1
2022-12-28test using a JSON target fileRalf Jung-0/+1
2022-11-28add many-seeds capabilities to CIRalf Jung-3/+8
2022-11-27Auto merge of #2685 - Nilstrieb:cargo-miri-wasm, r=RalfJungbors-0/+1
2022-11-27Auto merge of #2701 - RalfJung:smoke, r=RalfJungbors-1/+1
2022-11-27run_tests_minimal: actually run the smoke test on the desired targetRalf Jung-1/+1
2022-11-27CI: fix begingroup printingRalf Jung-1/+1
2022-11-27Use `.wasm` extension when building for wasm in cargo-mirinils-0/+1
2022-11-26Auto merge of #2696 - RalfJung:no-std-windows, r=RalfJungbors-1/+0
2022-11-26support no_std on WindowsRalf Jung-1/+0
2022-11-26prettify our CI logsRalf Jung-7/+22
2022-11-25Test a small cargo-miri smoke test even in `run_tests_minimal`Nilstrieb-0/+4
2022-10-26test on windows-gnu targetRalf Jung-0/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+101